Normal topological space (source code)

= Normal topological space
{wiki=Normal_space}

A topological space is normal when every two disjoint closed subsets have disjoint open neighbourhoods.