Mengensystem/Durchschnittsstabiles Erzeugendensystem/Sigmaalgebra und Dynkin-System/Fakt

Es sei $M$ eine Menge und $ℰ$ ein durchschnittsstabiles Mengensystem auf $M$.

Dann stimmt das von $ℰ$ erzeugte Dynkin-System mit der von $ℰ$ erzeugten $\sigma$-Algebra überein.

Zum Beweis, Alternativen Beweis erstellen