relation binaire

correspondance entre deux ensembles

ALGEBRE

Étant donnés deux ensembles E et F (qui peuvent être identiques), on dit qu’une relation est définie entre les éléments de E et ceux de F si, de tout couple (x, y), x ∈ E, y ∈ F, on sait s’il vérifie ou non la relation.
La donnée d’une relation est alors celle d’un sous-ensemble du produit cartésien E×F. Ce sous-ensemble est appelé graphe de la relation.