Definition: Semi-Algebra

Sei eine Grundmenge.
Sei ein Mengensystem.

Wir bezeichnen als Semi-Algebra über , falls:

  1. Leere Menge und Grundmenge sind enthalten
    .
  2. Schnittstabilität
    .
  3. Differenz von Mengen lässt sich als Vereinigung endlich vieler disjunkter Mengen aus darstellen .