Es sei M {\displaystyle {}M} eine Menge und E ⊆ E ′ {\displaystyle {}{\mathcal {E}}\subseteq {\mathcal {E}}'} seien Mengensysteme. Dabei sei E ′ {\displaystyle {}{\mathcal {E}}'} in der von E {\displaystyle {}{\mathcal {E}}} erzeugten σ {\displaystyle {}\sigma } -Algebra σ ( E ) {\displaystyle {}\sigma ({\mathcal {E}})} enthalten. Zeige