En
mathématiques, une
relation binaire entre deux ensembles E et
F (ou simplement
relation entre E et F) est caractérisée par un
sous-ensemble du
produit cartésien E ×
F, soit une collection de
couples dont la première composante est dans
E et la seconde dans
F. Cette collection est désignée par le
graphe de la relation. Les composantes d'un couple appartenant au graphe d'une relation
R sont dits
en relation par
R. Une telle relation binaire est parfois appelée
correspondance entre les deux ensembles.