L'image réciproque.

Soit \(f : E \rightarrow F\) et \(B \subset F\), on appelle l'image réciproque de \(B\) par \(f\), la partie de \(E\) notée \(f^{-1}(B)\) telle que \(f^{-1}(B) = \{x \in E/f(x) \in B\}\), sachant que \(f^{-1}(B) \subset E\), et que \(B,f^{-1}(B)\) sont des ensembles.