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.