Relation binaire
tout ensemble de couples ordonnés d'éléments (du même ensemble ou de deux ensembles différents), permettant de définir des relations mathématiques entre eux / De Wikipedia, l'encyclopédie encyclopedia
Cher Wikiwand IA, Faisons court en répondant simplement à ces questions clés :
Pouvez-vous énumérer les principaux faits et statistiques sur Relation binaire?
Résumez cet article pour un enfant de 10 ans
En mathématiques, une relation binaire entre deux ensembles E et F (ou simplement relation entre E et F) est définie 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 relation binaire est parfois appelée correspondance entre les deux ensembles.
Par exemple, en géométrie plane, la relation d'incidence entre un point et une droite du plan « le point A est sur la droite d » est une relation binaire entre l'ensemble des points et l'ensemble des droites du plan. Les fonctions ou applications d'un ensemble E dans un ensemble F peuvent être vues comme des cas particuliers de relations binaires entre E et F.
Lorsque F = E, l'ordre des deux composantes d'un couple a son importance. Par exemple, la relation « … est strictement inférieur à … », notée <, sur l'ensemble N des entiers naturels est une relation sur N ; on note n < p pour indiquer que n et p sont en relation. Le couple (1, 2) est un élément du graphe, contrairement au couple (2, 1).
La notion de relation peut être généralisée à plus de deux arguments, voir « Relation (mathématiques) ».