Aufgabe:
Zeige dass für jeden Halbring H, die Menge R aller Vereinigungen endlich disjunkter Familien von Mengen aus H ein Ring ist.
H wird Halbring genannt, wenn (leere Menge)∈H gilt und mit zwei A,B∈H der schnitt A∩B in H liegt und die Differenz A\B als endliche disjunkte Vereinigung von Mengen aus H geschrieben werden kann.