Es sei ( M , A ) {\displaystyle {}(M,{\mathcal {A}})} ein Messraum, der als abzählbare disjunkte Vereinigung
mit M i ∈ A {\displaystyle {}M_{i}\in {\mathcal {A}}} gegeben ist. Es seien μ i {\displaystyle {}\mu _{i}} , i ∈ I {\displaystyle {}i\in I} ,