Page d'accueil	encyclopedie-enligne.com en page d'accueil
Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] | Liste Catégories | Une page au hasard | Pages liées

Relation d'équivalence

Une relation d'équivalence R sur un ensemble E est une relation binaire réflexive, symétrique et transitive.

• Réflexive : pour tout x de E, x R x
• Symétrique : pour tout x, y de E, si x R y alors y R x
• Transitive : pour tout x, y, z de E, si x R y et y R z alors x R z

Exemples

• L'égalité sur un ensemble quelconque de nombres (entiers, rationnels, réels, complexes) est une relation d'équivalence.
• Le parallélisme sur un ensemble de droites (dans un plan) est une relation d'équivalence.

Voir aussi

• relation d'ordre