In topology and related branches of mathematics, a normal space is a topological space in which any two disjoint closed sets have disjoint open neighborhoods. Such spaces need not be Hausdorff in general. A normal Hausdorff space is called a T4 space. Strengthenings of these concepts are detailed in the article below and include completely normal spaces and perfectly normal spaces, and their Hausdorff variants: T5 spaces and T6 spaces. All these conditions are examples of separation axioms.
Definitions
A topological space X is a normal space if, given any disjoint closed sets E and F, there are neighbourhoods U of E and V of F that are also disjoint. Intuitively, this condition says that E and F can be separated by neighbourhoods. The following are equivalent characterizations:
For each closed set F {\displaystyle F} and neighborhood U {\displaystyle U} of it, there exists a neighborhood V {\displaystyle V} of F {\displaystyle F} such that F ⊆ V ⊆ V ¯ ⊆ U . {\displaystyle F\subseteq V\subseteq {\overline {V}}\subseteq U.}
For X = U 1 ∪ U 2 {\displaystyle X=U_{1}\cup U_{2}} with U 1 , U 2 {\displaystyle U_{1},U_{2}} open, there exist disjoint open sets V 1 , V 2 {\displaystyle V_{1},V_{2}} such that X = U 1 ∪ V 1 = U 2 ∪ V 2 . {\displaystyle X=U_{1}\cup V_{1}=U_{2}\cup V_{2}.}
(The second bullet is expressed entirely in terms of open sets; i.e., normality of a space is purely a property of its lattice of open sets; cf. Ideal (order theory) § Prime and maximal spectra.) A T4 space is a T1 space X that is normal; this is equivalent to X being normal and Hausdorff.
… excerpt ends here. Continue reading the full article.

