Tribu image réciproque

Étant donnés $(\Omega _{2},{\mathcal {B}}_{2})$ un espace mesurable, $\Omega _{1}$ un ensemble et $f\,\colon \Omega _{1}\to \Omega _{2}$ une application, la tribu image réciproque de ${\mathcal {B}}_{2}$ sous $f$ est l'ensemble noté $f^{-1}({\mathcal {B}}_{2})$ défini par :

$f^{-1}({\mathcal {B}}_{2})=\left\{f^{-1}(A_{2})\,\mid A_{2}\in {\mathcal {B}}_{2}\right\}.$

C'est une tribu sur $\Omega _{1}$.