Que sont les relations réflexives et antisymétriques ?
Une relation réflexive sur un ensemble est une relation binaire valable pour chaque élément de l'ensemble. En d'autres termes, une relation réflexive est une relation dans laquelle chaque élément est lié à lui-même, ce qui signifie pour tout x ∈ A, (x,x) ∈ R. Une relation est dite antisymétrique pour une relation binaire R sur un ensemble A, s'il n'y a pas de paire d'éléments distincts ou dissemblables de A, dont chacun est lié par R à l'autre. Formellement, la relation R est antisymétrique, en particulier si pour tout a et b dans A, si R(x, y) avec x ≠ y, alors R(y, x) ne doit pas être vraie, ou, de manière équivalente, si R( x, y) et R(y, x), alors x = y.