Proposition: Die erzeugte Sigma-Algebra einer Sigma-Algebra ist die Sigma-Algebra selbst

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

Es gilt:

Insbesondere gilt also auch: