"X" es un "espacio normal" si y sólo si, dado cualquier par de conjuntos cerrados disjuntos "E" y "F", existen sendos entornos "U" de "E" y otro "V" de "F", también disjuntos.