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.
1.
Collection d'éléments considérée dans sa totalité : Réunir des écrits en un ensemble cohérent. 2.
Totalité, réunion d'éléments formant un tout : L'ensemble des employés d'une entreprise.
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 .