Em topologia, e ramos relacionados da matemática, um espaço topológico X {\displaystyle X} é dito normal caso ele satisfaça a seguinte propriedade de separação: Para todo par de fechados disjuntos E {\displaystyle E} e F {\displaystyle F} em X {\displaystyle X} existem abertos disjuntos U {\displaystyle U} e V {\displaystyle V} de forma que E ⊂ U {\displaystyle E\subset U} e F ⊂ V {\displaystyle F\subset V}. Wikipedia