This is an old revision of the document!
Second-countable space
Set
| context | $X$ |
| definiendum | $\langle X,T\rangle\in$ it |
| inclusion | $\langle X,T\rangle$ … topological space |
| exists | $B\subseteq T$ |
| postulate | $B$ … countable base |
Discussion
Parents
Subset of
Requirements
