En términos más sencillos, decimos que E y F pueden ser separados mediante entornos.Los conjuntos cerrados E y F, aquí representados mediante discos cerrados en lados opuestos de la imagen, están separados por sus respectivos entornos U y V, aquí representados por discos abiertos mayores pero aún disjuntos.X se dice que es un Espacio T4, si es normal y Hausdorff.X es un espacio perfectamente normal si es normal y todo cerrado suyo es un conjunto Gδ (es decir, es intersección de una cantidad numerable de abiertos).Además, se tiene que X es un espacio perfectamente normal si y solo si para todo cerrado no vacío C de X existe una función continua
cerrados E y F separados por abiertos en un espacio normal.
