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.
les relations telles que, de chaque élément de l'ensemble de départ, il part au plus une flèche, s'appellent des fonctions ; les relations telles que, de chaque élément de l'ensemble de départ, il part exactement une flèche, s'appellent des applications.
Une fonction f : E → F est une application si Dom(f ) = E.
Exemple : • Soit E = {1,2,3,4} et F = {a,b,c}.
Le graphe G = {(1,a),(2,c),(4,a)} ⊂ E × F définit une fonction de E dans F mais pas une application.