Es seien ( M , A ) {\displaystyle {}(M,{\mathcal {A}})} und ( N , B ) {\displaystyle {}(N,{\mathcal {B}})} Messräume und es sei μ {\displaystyle {}\mu } das zur Belegungsfunktion
gehörige Maß auf M {\displaystyle {}M} und ν {\displaystyle {}\nu } das zur Belegungsfunktion
gehörige Maß auf N {\displaystyle {}N} (diese Maße seien als σ {\displaystyle {}\sigma } -endlich angenommen). Zeige, dass μ ⊗ ν {\displaystyle {}\mu \otimes \nu } das zur Belegungsfunktion
gehörige Maß auf M × N {\displaystyle {}M\times N} ist.