Theorem: Das erzeugte Dynkin-System eines Dynkin-Systems ist das Dynkin-System selbst

Sei eine Grundmenge.
Sei ein Dynkin-System.
Sei ein Mengensystem.

Es gilt:

Insbesondere gilt also auch: