Topologischer Raum/Normal/Definition

Normaler topologischer Raum

Ein topologischer Raum heißt normal, wenn die einzelnen Punkte abgeschlossen sind und es in ihm zu je zwei disjunkten offene Mengen und mit gibt.