A normal space is a topological space(π,T) such that any two disjoint closed subsets π΄,π΅βπ have disjoint open neighbourhoods π,πβT, topology
i.e. π΄βπβT and π΅βπβT.
A T4 space is one which is both normal and Hausdorff. topology