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 disjuntos e em existem abertos disjuntos e de forma que e .