"X" es un "espacio perfectamente normal" si cada dos conjuntos cerrados disjuntos pueden ser separados mediante una función.