Un espacio T se llama completamente normal cuando tienen la propiedad T.