Relation (théorie des ensembles)

En théorie des ensembles^EN, une relation $R$ entre deux ensembles $A$ et $B$ est un sous-ensemble du produit cartésien^EN $A\times B$.
Pour tout $a\in A$ et $b\in B$, on dit que $a$ est en relation avec $b$, et on note $a \;R \;b$, lorsque $(a,b)\in R$.

Remarques et exemples

• Lorsque $A=B$, on parle d’une relation sur $A$.
• Une fonction est une forme de relation.