Es sei M eine Menge und ℰ⊆ℰ′ seien Mengensysteme. Dabei sei ℰ′ in der von ℰ erzeugten σ-Algebra σ(ℰ) enthalten. Zeige