La surjection.
Définition :
L'image \(f(E)\) de \(E\) par \(f\) est une partie de \(F\). Si tout élément de \(F\) est l'image par \(f\) d'au moins un élément de \(E\), on dit que \(f\) est une application surjective de \(E\) dans \(F\), on a : \(f(E) = F\). \(f\) est surjective \(\Leftrightarrow (\forall y \in F), (\exists x \in E) / f(x) = y\).