Relation asymétrique
De Wikipedia, l'encyclopédie encyclopedia
Pour les articles homonymes, voir Relation et Asymétrique.
En mathématiques, une relation (binaire, interne) R est dite asymétrique[1],[2],[3],[4],[5],[6] si elle vérifie :
ou encore, si son graphe est disjoint de celui de sa relation réciproque.
L'asymétrie est parfois appelée « antisymétrie forte[7] », par opposition à l'antisymétrie (usuelle, ou « faible »)[8]. En effet, une relation est asymétrique si et seulement si elle est à la fois antisymétrique et antiréflexive[9].