Un espacio topológico formula_1 se llama formula_2 si y solo si para cualquier par de puntos formula_3 existe un abierto que contiene uno de los puntos y no contiene el otro punto.