Es seien ( M , A , μ ) {\displaystyle {}(M,{\mathcal {A}},\mu )} und ( N , B , ν ) {\displaystyle {}(N,{\mathcal {B}},\nu )} σ {\displaystyle {}\sigma } -endliche Maßräume und es seien f : M → R ¯ {\displaystyle {}f\colon M\rightarrow {\overline {\mathbb {R} }}} und g : N → R ¯ {\displaystyle {}g\colon N\rightarrow {\overline {\mathbb {R} }}} integrierbare Funktionen.
Dann ist auch die Funktion
integrierbar und es gilt