En mathématiques, une application (ou fonction) f est la donnée de deux ensembles, l'ensemble de départ E et l'ensemble d'arrivée F, et d'une relation associant à chaque élément x de l'ensemble de départ un et un seul élément de l'ensemble d'arrivée, que l'on appelle image de x par f et que l'on note f(x). On dit alors que f est une application de E dans F (noté f : EF), ou encore une application à arguments dans E et valeurs dans F.