L'image directe.

Soit \(f : E \rightarrow F\) et \(A \subset E\), on appelle image de \(A\) par \(f\) un sous-ensemble de \(F\), noté \(f(A)\) tel que \(f(A) = \{f(x) \in F/x \in A\}\), sachant que \(f(A) \subset F\), et que \(A,f(A)\) sont des ensembles.