Definition: Stabilität eines Mengensystems

Sei eine Grundmenge.
Sei ein Mengensystem über .

Wir bezeichnen als stabil (auch abgeschlossen) gegenüber einer Operation (bspw. ggü. der Vereinigung ), wenn für endlich viele Mengen gilt:

Also dann, wenn die Operation immer ein Element aus der Menge als Ergebnis hat.