Separation axioms Normal space A normal space is a topological space such that any two disjoint closed subsets have disjoint open neighbourhoods , #m/def/topology i.e. and . A -space is one which is both normal and Hausdorff. #m/def/topology Properties Hausdorff-compact implies normal #state/develop | #lang/en | #SemBr