En topología, un espacio de Hausdorff, separado o
es un espacio topológico en el que puntos distintos tienen entornos disjuntos.
Se dice que dos puntos
cumplen la propiedad de Hausdorff si existen dos entornos
Se dice que un espacio topológico es un espacio de Hausdorff (o que verifica la propiedad de Hausdorff, o que es separado o que es
) si todo par de puntos distintos del espacio verifican la propiedad de Hausdorff.
(Obsérvese que si x = y, x e y no verifican la propiedad de Hausdorff.)