correspondance entre deux ensembles M et N

Triplet constitué par ces deux ensembles et par le graphe G d'une relation entre les éléments de M et ceux de N.

MATHÉMATIQUES

M est l'ensemble de départ et N l'ensemble d'arrivée. Le sous-ensemble X de M qui contient les éléments de M qui sont en correspondance avec au moins un y de N est l'ensemble de définition ; le sous-ensemble Y de N qui contient les éléments de N qui sont en correspondance avec au moins un x de M est l'ensemble des valeurs de la correspondance.