Definition:Separable Space

Definition
A topological space $\left({X, \vartheta}\right)$ is separable if there exists a countable subset of $X$ which is everywhere dense.

Also see

 * Countability Axioms