1. Pour qu’une relation de E vers F soit une application, quelle condition doit-elle satisfaire ?
Chaque élément de E est associé à un unique élément de F.
Explication
Une application associe à chaque élément de l’ensemble de départ E un et un seul élément de l’ensemble d’arrivée F. La condition porte donc sur l’unicité de l’image de chaque élément de E, et non sur l’existence d’un antécédent pour chaque élément de F.