Definition:Second-Countable Space

Definition
A topological space $T = \left({S, \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