Second-countable space

Set

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