En
mathématiques, une
application est une
relation entre deux
ensembles pour laquelle chaque élément du premier (appelé
ensemble de départ ou
source) est relié à un
unique élément du second (l’
ensemble d'arrivée ou
but). Le terme est concurrencé par celui de
fonction, bien que celui-ci désigne parfois plus spécifiquement les applications dont le but est un
ensemble de nombres ou, encore, englobe plus largement les relations pour lesquelles chaque élément de l'ensemble de départ est relié à
au plus un élément de l'ensemble d'arrivée.