Proposition: Erzeugtes Dynkin-System ist Teilmenge der erzeugten Sigma-Algebra

Sei eine Grundmenge.
Sei ein Mengensystem über .

Dann gilt: