Pour démontrer qu'une application f:E→F f : E → F est surjective, on démontre que, pour tout y∈F y ∈ F , l'équation y=f(x) y = f ( x ) admet toujours au moins une solution x dans E .
De mémoire, en théorie des ensemble une application est définie pour tous les éléments de l'ensemble sur lequel elle s'applique, alors que pour une fonction chaque élément du premier ensemble est en relation avec au plus un élément du second.