Définition

Nous dirons qu'une relation binaire sur un ensemble E est 'symétrique' si dès qu'un élément est relié à un autre, cet autre est relié à lui.
R symétrique ⇔  ∀ x,y ∈E  xRy ⇒ yRx
Cela veut dire que le graphe est symétrique par rapport à la diagonale.
Si la symétrie se voit facilement sur un graphe cartésien elle est beaucoup moins apparente sur un schéma saggital.

Exemples de relations symétriques:

Cliquez pour voir des exemples de relations symétriques !

Café Python

Voici un programme qui teste la symétrie d'une relation: