Une application ou fonction est un triplet f = (E, F, G) avec une relation binaire G ⊂ E × F, et qui vérifie que pour tout x de E il existe un unique y de F tel que le couple (x, y) appartienne à G.
Exactement dans ce cas, une application fG donnée comme relation binaire G ⊂ E × F est dite bien définie.
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.
En ce sens, une application était une fonction mais l'inverse n'était pas forcément vrai.
Une application est une relation entre deux ensembles, que l'on peut appeler " source" et ' but", telle que chaque élément de la source ait son image (unique) dans le but L'application peut être injective, surjective ou bijective.