Collectionwise normal space (source code)

= Collectionwise normal space
{wiki=Collectionwise_normal_space}

In topology, a space is called a **collectionwise normal space** if it satisfies a certain separation condition involving collections of closed sets.