System von Mengen mit einer Abschlußeigenschaft.

Ist X eine beliebige Menge und \({\mathscr{A}}\subseteq {\mathfrak{P}}(X)\) ein Mengensystem in X, so daß \({\mathscr{A}}\) unter der Durchschnittsbildung abgeschlossen ist, so nennt man \({\mathscr{A}}\) ein Abschlußsystem.