Definition. (abgeschlossene Menge) Eine Menge $M\subseteq IM$ ist abgeschlossen =Df Jeder Häufungspunkt von $M$ gehört zu $M.$