Ergebnis eines Abschließungsoperators.

Es sei M eine Menge. Zu jeder Teilmenge A ⊆ M gebe es eine Teilmenge \(\bar{A}\space \subseteq \space M\) so, daß die folgenden Bedingungen gelten:

1. \(A\space \subseteq \space \bar{A}\) für alle A ⊆ M;
2. \(\bar{\bar{A}}\space \subseteq \space \bar{A}\) für alle A ⊆ M;
3. aus A ⊆ B folgt \(\bar{A}\space \subseteq \space \bar{B}\).

Dann bezeichnet man A als Hülle von A in bezug auf den gegebenen Hüllenoperator. Stimmt eine Menge mit ihrer Hülle überein, so heißt sie abgeschlossen.