De la misma forma, los espacios separables son un concepto topológico completamente diferente.
Como ejemplo, definiremos el axioma T2, que es la condición de los espacios separados.
Dado un espacio topológico X, en ocasiones es útil considerar si es posible que un subconjunto A sea separado de su complemento.
Dado un espacio topológico X, dos puntos x e y son topológicamente distinguibles si existe un conjunto abierto tal que uno de los puntos pertenece a él y el otro no.
Así, para conjuntos unitarios la distinguibilidad topológica es una condición intermedia entre disjuntificación y separación.