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

Discussion

Parents

Subset of

Topological space

Requirements

Countable base for a topology