Countable base for a topology

Set

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

Discussion

Parents

Context

Topological space

Subset of

Base for a topology, Countable set