fonction partielle

concept 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)

Aussi : relation fonctionnelle, relation univalente, relation unique à droite, relation définie à droite, correspondance partielle