Eine Teilmenge A ⊆ M {\displaystyle {}A\subseteq M} heißt abgeschlossen, wenn das Komplement M ∖ A {\displaystyle {}M\setminus A} offen ist.