Es sei ( M , A , μ ) {\displaystyle {}(M,{\mathcal {A}},\mu )} ein σ {\displaystyle {}\sigma } -endlicher Maßraum, E {\displaystyle {}E} ein metrischer Raum, t 0 ∈ E {\displaystyle {}t_{0}\in E} und
eine Funktion