topologischer Raum, der eine abzählbare dichte Teilmenge besitzt.

Beispielsweise ist der Raum \({{\mathbb{R}}}^{n}\) separabel in der natürlichen Topologie, da \({{\mathbb{Q}}}^{n}\) abzählbar und dicht in \({{\mathbb{R}}}^{n}\) ist.