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 formula_1) si todo par de puntos distintos del espacio verifican la propiedad de Hausdorff.