lautet:

Es seien Ω eine Menge, \((\Omega^{\prime},\mathcal{A}^{\prime})\)ein Meßraum und h : Ω → Ω′ und \(f:\Omega \to \bar{{\mathbb{R}}}\)Abbildungen.

Dann ist f genau dann \(h^{-1}(\mathcal{A}^{\prime})\text-\mathcal{B}(\bar{\mathbb{R}})\)-meßbar, wenn es eine \(\mathcal{A}^{\prime}\text-\mathcal{B}(\bar{\mathbb{R}})\)-meßbare Abbildung g : \(\Omega^\prime\rightarrow\bar{{\mathbb{R}}}\)gibt mit f = g ◦ h.