fonction partielle
relation binaire unique à droite, qui est définie sur une partie de son ensemble de départ (domaine, à gauche de la relation) avec une seule valeur dans son ensemble d'arrivée (codomaine, à droite de la relation)