Que sont les relations réflexives et symé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 une relation symétrique si un ensemble, A, contient paires ordonnées, (x, y) ainsi que l'inverse de ces paires, (y, x). Autrement dit, si (x, y) ∈ R alors (y, x) ∈ R pour que la relation soit symétrique.