Definition: Erzeugte Sigma-Algebra

Sei eine Grundmenge.
Sei ein Mengensystem über .

Als die von erzeugte -Algebra bezeichnen wir

also den Durchschnitt aller -Algebren über , die außerdem das Mengensystem enthalten.

Weiter gilt, dass eindeutig ist.

Anmerkung

Tipp: Namensschema

Wir bezeichnen auch als Erzeugendensystem oder als Erzeuger von .