In dem Teilgebiet
Topologie der
Mathematik ist eine
offene Menge eine
Menge mit einer genau definierten Eigenschaft (siehe unten). Anschaulich ist eine Menge offen, wenn ihre Elemente nur von Elementen dieser Menge umgeben sind, mit anderen Worten, wenn kein Element der Menge auf ihrem
Rand liegt. Die Komplementärmenge einer offenen Menge nennt man
abgeschlossene Menge. Diese Mengen sind dadurch charakterisiert, dass sie alle ihre
Häufungspunkte enthalten.