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

Aus Wikiversity

Es sei eine Menge und ein durchschnittsstabiles Mengensystem auf .

Dann stimmt das von erzeugte Dynkin-System mit der von erzeugten -Algebra überein.