Prouver qu'une application f :E→Ff \colon E \to Ff:E→F est surjective, c'est-à-dire que tout élément de FFF admet au moins un antécédent dans EEE.
Choisissez une approche :
En montrant que l'équation f(x)=yf(x) = yf(x)=y admet une solution pour tout yyy
Méthode directe par définition : on résout l'équation f(x)=yf(x) = yf(x)=y d'inconnue xxx pour montrer qu'elle admet toujours (au moins) une solution.