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