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  ${}Y,Z\subseteq X$  offene Mengen  ${}Y\subseteq U$  und  ${}Z\subseteq V$  mit  ${}U\cap V=\emptyset$  gibt.