\begin{definition}[Definition:Separable Space]
A topological space $T = \struct {S, \tau}$ is '''separable''' {{iff}} there exists a countable subset of $S$ which is everywhere dense in $T$.
\end{definition}