Definition:Countable Basis

Definition
A countable basis for a topology $\vartheta$ is a basis for $\vartheta$ which is a countable set.