Topologie/Trennungseigenschaft/T0/Definition

Die Trennungseigenschaft ${}T0$

Man sagt, dass ein topologischer Raum die Trennungseigenschaft ${}T_{0}$ erfüllt, wenn es zu je zwei Punkten ${}x\neq y$ eine offene Menge ${}U$ mit ${}x\in U$ und ${}y\notin U$ oder eine offene Menge ${}V$ mit ${}x\notin V$ und ${}y\in V$ gibt.