Es seien (M,A,μ){\displaystyle {}(M,{\mathcal {A}},\mu )} und (N,B,ν){\displaystyle {}(N,{\mathcal {B}},\nu )} σ{\displaystyle {}\sigma }-endliche Maßräume und sei
eine integrierbare Funktion.
Dann sind die beiden Funktionen
und
fast überall reellwertig und fast überall integrierbar, und es gilt