Se dit d’une correspondance entre les objets de deux ensembles où un ou plusieurs éléments de l’ensemble de départ peuvent être reliés à plusieurs éléments de l’ensemble d’arrivée.
Dans le cas des fonctions, il s’agit de correspondance univoque, puisque chaque élément du domaine a une seule image dans l’ensemble d’arrivée.
Exemple
Le graphique sagittal ci-dessous illustre une correspondance plurivoque :
