Normal space
Published:
A normal space, or normal Hausdorff space, is a topological space X that satisfies Axiom T4: every two disjoint closed sets of X have disjoint open neighborhoods. A normal Hausdorff space is also called a T4 space. These conditions are examples of separation axioms and their further strengthenings define completely normal Hausdorff spaces, or T5 spaces, and perfectly normal Hausdorff spaces, or T6 spaces.
A completely normal space or a hereditarily normal space is a topological space X such that every subspace of X with subspace topology is a normal space. It turns out that X is completely normal if and only if every two separated sets can be separated by neighbourhoods.