Proposition: Zusammenhang der Erzeugung von Ringen, Algebren und -Algebren

Sei eine Grundmenge.
Sei ein Mengensystem über .

Dann gilt: