Definition:Countable Basis

Definition
A countable (analytic) basis for a topology $\tau$ is an analytic basis for $\tau$ which is a countable set.