In mathematics, a base for the topology τ of a topological space is a family B {\displaystyle {\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 B {\displaystyle {\mathcal {B}}}. Wikipedia