D. Relation binaire
Soit {E} et {F} deux ensembles.
On appelle relation {\mathcal{R}} de {E} vers {F} la donnée d’une partie {R} du produit cartésien {E\times F}.
La partie {R} est appelée le graphe de la relation {\mathcal{R}}.
On dit qu’un élément {x} de {E} est en relation avec un élément {y} de {F}, pour la relation {\mathcal{R}}, si le couple {(x,y)} appartient au graphe {R}. On exprime cette situation en écrivant {x\mathcal{R} y}.
Si {E=F} on dit que {\mathcal{R}} est une relation sur {E}.