relation binaire

Étymologie manquante ou incomplète. Si vous la connaissez, vous pouvez l’ajouter en cliquant ici.

relation binaire \ʁə.la.sjɔ̃ bi.nɛʁ\ féminin

1. (Mathématiques) (Entre deux ensembles) Lien entre des éléments des ensembles ${\displaystyle E}$ et ${\displaystyle F}$. Formellement, sous-ensemble du produit cartésien ${\displaystyle E\times F}$.
   • Exemple d’utilisation manquant. (Ajouter)
2. (Spécifiquement) (Sur un ensemble) Sous-ensemble du produit cartésien ${\displaystyle E\times E}$.
   • La relation binaire dans ${\displaystyle E}$ définie par les couples ${\displaystyle (x,y)}$ tels que ${\displaystyle x-y}$ appartienne à ${\displaystyle E'}$ est compatible avec les lois de ${\displaystyle E}$. — (Lucien CHAMBADAL et Jean-Louis OVAERT, Algèbre linéaire et multilinéaire dans Dictionnaire des Mathématiques)

• correspondance

• relation symétrique
• relation réflexive
• relation transitive
• relation d'ordre
• relation d'équivalence

• Si ${\displaystyle {\mathcal {R}}}$ est une relation entre ${\displaystyle E}$ et ${\displaystyle F}$, alors ${\displaystyle E}$ est appelé domaine et ${\displaystyle F}$ codomaine.

• relation binaire sur l’encyclopédie Wikipédia