Perfectly normal space



Perfectly normal space: A normal space where every closed subset is an intersection of countably many open subsets containing it.

Primary subject wiki entry: Topospaces:Perfectly normal space