Zu jedem Punkt y ∈ X {\displaystyle {}y\in X} , y ≠ x {\displaystyle {}y\neq x} gibt es eine offene Umgebung y ∈ U y {\displaystyle {}y\in U_{y}} mit x ∉ U {\displaystyle {}x\not \in U} . Daher ist