Es seien ( M , A ) {\displaystyle {}(M,{\mathcal {A}})} und ( N , B ) {\displaystyle {}(N,{\mathcal {B}})} Messräume. Eine Abbildung
heißt messbar (oder genauer A − B {\displaystyle {}{\mathcal {A}}-{\mathcal {B}}} -messbar), wenn für alle T ∈ B {\displaystyle {}T\in {\mathcal {B}}} das Urbild φ − 1 ( T ) {\displaystyle {}\varphi ^{-1}(T)} zu A {\displaystyle {}{\mathcal {A}}} gehört.
