Es seien M , N 1 , N 2 {\displaystyle {}M,N_{1},N_{2}} Messräume und es seien f 1 : M → N 1 {\displaystyle {}f_{1}\colon M\rightarrow N_{1}} und f 2 : M → N 2 {\displaystyle {}f_{2}\colon M\rightarrow N_{2}} messbare Abbildungen.
Dann ist auch die Abbildung
messbar.