Une application est une relation entre deux ensembles A et B, au quel les éléments de A sont renvoyés à un seul élément de B. Autrement dit une fonction de A vers B est une application si son domaine de définition est égal à son ensemble de départ.