Definition:Separable Space

Definition
A topological space $T = \left({S, \tau}\right)$ is separable if there exists a countable subset of $S$ which is everywhere dense in $T$.

Also see

 * Definition:Countability Axioms