Se dice que dos puntos formula_2 e formula_3 de un espacio topológico formula_4 cumplen la propiedad de Hausdorff si existen dos entornos formula_5 de formula_2 y formula_7 de formula_3 tales que formula_9.