Où est l'erreur?

Une grossière  erreur a été intentionnellement commise dans un raisonnement autour des relations d'ordre. A vous de la trouver. ..

Nous rappelons d’abord ces quelques définitions élémentaires :

Une relation binaire sur un ensemble E est dite «relation d’ordre » si elle vérifie les 3 propriétés suivantes :
(R) Elle est réflexive,
(A) Elle est antisymétrique,
(T) Elle est transitive.

(C) En plus, une relation d’ordre est dite « relation d’ordre total », si tous les éléments sont comparables.









           

Commentaires