Countable base for a topology

Set

 context $\langle X,T\rangle$ … topological space definiendum $B\in$ it postulate $B$ … base postulate $B$ … countable