Un espacio topológico X se dice formula_9 si y solo si para cualquier par de puntos x, y de X hay un par de conjuntos abiertos formula_11, formula_12, tal que x esté formula_11, pero no en formula_12, y además y esté en formula_12, pero no en formula_11.