Topologie eines normalen topologischen Raumes.

Eine Topologie τ auf einer Menge T heißt normal, wenn sie Hausdorffsch ist und wenn es für je zwei disjunkte abgeschlossene Mengen A, B ⊆ T disjunkte offene Mengen U, V gibt, so daß A ⊆ U und B ⊆ V gilt.