Proposition: Die erzeugte Algebra einer Algebra ist die Algebra selbst

Sei eine Grundmenge.
Sei eine Algebra.
Sei ein Mengensystem.

Es gilt:

Insbesondere gilt also auch: