Theorem: Von Halbring erzeugter Ring

Sei eine Grundmenge.
Sei ein Halbring über .

Dann gilt:

entspricht der Menge aller endlichen Vereinigungen von paarweise disjunkten Mengen aus .