Relation binaire
Une relation binaire d'un ensemble $E$ vers un ensemble $F$ est une partie $G$ du produit cartésien $E× F.$ Si un couple $(x,y)$ est élément de $G$, on dit que $x$ est en relation avec $y$, et on note $x\mathcal R y.$
La notion de relation binaire formalise de nombreux concepts en mathématiques, comme l'appartenance d'un élément à un ensemble, les relations de comparaison, la congruence, etc...
Consulter aussi
Recherche alphabétique
Recherche thématique