Normal space (source code)

= Normal space
{wiki}

= Normal topological space
{synonym}

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