Topologie/Trennungseigenschaft/T0/Definition

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