Definition: Halbring

Sei eine Grundmenge.
Sei ein Mengensystem.

Wir bezeichnen als Halbring über , falls:

  1. Leere Menge ist enthalten
    .
  2. Schnittstabilität
    .
  3. Differenz als endliche Vereinigung paarweise disjunkter Mengen