Définition

Nous dirons qu'une relation binaire sur un ensemble E est 'réflexive' si tout élément est relié à lui-même.
R réflexive ⇔  ∀ x ∈E  xRx
Cela veut dire que la diagonale est incluse dans le graphe.

Exemple de relation réflexive

Cliquez pour voir des exemples de relations reflexives!

Café Python

Voici un programme qui teste la réflexivité d'une relation