Definition: Erzeugendensysteme der Maßtheorie

Sei eine Grundmenge.
Sei ein Mengensystem über .

Wir bezeichnen als Erzeugendensystem eines Rings , einer Algebra , einer -Algebra oder eines Dynkin-Systems , falls gilt: