In mathematics, a base for the topology τ of a topological space is a family {\mathcal {B}} of open subsets of X such that every open set of the topology is equal to the union of some sub-family of {\mathcal {B}}. Wikipedia