Que sont les relations symétriques sur un ensemble ?
Une relation symétrique sur un ensemble est une relation binaire qui tient si et seulement si l'ordre des éléments est inversé. En d'autres termes, si la relation est vraie entre x et y, elle doit aussi être vraie entre y et x. Par exemple, considérons l'ensemble A = {1, 2, 3}. La relation "est égal à" est Symétrique sur A car si x est égal à y, alors y est aussi égal à x. En d'autres termes, si 1 = 2, alors 2 = 1. D'autre part, la relation "est inférieur à" n'est PAS symétrique sur A car si x est inférieur à y, y n'est pas nécessairement inférieur à x. Dans ce cas, si 1 < 2, alors 2 n'est pas inférieur à 1.