Es sei ( X , τ ) {\displaystyle {}(X,\tau )} ein topologischer Raum und U ⊆ X {\displaystyle {}U\subseteq X} eine Teilmenge.
Es ist U ∈ τ {\displaystyle {}U\in \tau } genau dann, wenn für jedes x ∈ U {\displaystyle {}x\in U} noch eine Umgebung x ∈ V x ⊆ U {\displaystyle {}x\in V_{x}\subseteq U} existiert.