Es sei (M,A,μ){\displaystyle {}(M,{\mathcal {A}},\mu )} ein σ{\displaystyle {}\sigma }-endlicher Maßraum und
eine messbare Abbildung.
Dann ist die Abbildung
bijektiv und maßtreu.