Base for a topology

Set

 context $\langle X,T\rangle$ … topological space definiendum $B\in$ it inclusion $B\subseteq T$ for all $U\in T$ exists $C\subseteq B$ postulate $U=\bigcup C$

Discussion

A base $B$ for a topology is a collection its open sets, which suffice to cover any open set.