## Countable base for a topology

### Set

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