Espaço normal
espaço topológico em que todo par de conjuntos fechados disjuntos tem vizinhanças abertas disjuntas / De Wikipedia, a enciclopédia encyclopedia
Em topologia, e ramos relacionados da matemática, um espaço topológico é dito normal caso ele satisfaça a seguinte propriedade de separação:
Para todo par de fechados dijuntos e em existem abertos disjuntos e de forma que e .
Dizemos também que separa fechados.
Quando X é métrico e Hausdorff, então é normal e diz-se que X é um espaço T4.