Definition

preimage


If X:ΩΩX: \Omega \to \Omega ' then we can define X1:𝒫(Ω)𝒫(Ω)X^{-1}: \mathcal{P}(\Omega ') \to \mathcal{P}(\Omega) by X1(A)={ωΩ:X(ω)A}X^{-1}(A') = \{ \omega \in \Omega : X(\omega) \in A' \} for AΩ A' \subset \Omega '.