Definition:Second-Countable Space

Definition
A topological space $\left({X, \vartheta}\right)$ is second-countable or satisfies the Second Axiom of Countability if its topology has a countable basis.

Also known as a completely separable space or perfectly separable space.

Also see

 * Countability Axioms