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