⠀
Definition: Semi-Algebra
Sei
eine Grundmenge.
Seiein Mengensystem. Wir bezeichnen
als Semi-Algebra über , falls:
- Leere Menge und Grundmenge sind enthalten
. - Schnittstabilität
. - Differenz von Mengen lässt sich als Vereinigung endlich vieler disjunkter Mengen aus
darstellen .