Définition

Une relation binaire sur un ensemble est appelée une ' relation d'équivalence' , si elle possède les trois propriétés suivantes:
La relation d'égalité est une relation d'équivalence, la relation 'pleine' (totale) également.
D'une façon générale toute relation exprimée ainsi:
x a même .... que y
est une relation d'équivalence, et nous montrerons que ce modèle décrit en fait toutes les relations d'équivalence.
Voici donc quelques exemples de relations d'équivalence:
Cliquez pour voir des exemples de relations d'équivalence !

Café Python

Voici un programme qui vérifie si une relation est d'équivalence: