Lorsque deux ensembles sont mis en relation, cette dernière doit être une application.

C.à.d : Qu’a tout élément de l’ensemble de départ, doit correspondre un et un seul élément dans l’ensemble d’arrivée.