Proposition: Dynkin-Systeme sind komplementstabil

Sei eine Grundmenge.
Sei ein Dynkin-System.

Dann gilt:

Beweis

Sei .
Da ein Mengensystem über ist, gilt für außerdem: .

Nach der ersten Eigenschaft der Dynkin-Systeme gilt zudem .

Nach der zweiten Eigenschaft der Dynkin-Systeme gilt nun:

was zu zeigen war.