Un espacio topológico X es de Hausdorff o formula_18 si y solo si para cualquier par de puntos x, y en X existe un par de abiertos disjuntos que contiene uno a x y otro a y.