Concept history

Concept translation created

En [[Set theory|Théorie des ensembles]], une relation $R$ entre deux ensembles $A$ et $B$ est un [[Subset|Sous-ensemble]] du  [[Cartesian product|Produit cartésien]] $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 [[function|fonction]] est une forme de relation.