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.