fonction multivaluée
relation binaire qui est totale à gauche, mais n'est pas nécessairement unique à droite ; isomorphe à une autre fonction du même ensemble source, mais vers l'ensemble des parties de l'ensemble d'arrivée de la fonction initiale