Injection

Une application de vers est injective si tout élément de l'ensemble d'arrivée possède au plus un antécédent dans