Salut,

Je pense qu'il faut que tu utilises le fait que l'ensemble des classes d'équivalence pour R forme une partition de E.

à+

Et comment montres tu ce résultat Cinnamon?
En général ca passe justement par ce lemme...

-Si cl(x)=cl(y) c'est trivial, on a que l'intersection est non vide, donc par contraposée, si l'intersection est vide, les classes sont distinctes.

-Si cl(x) différent de cl(y), et tel que la classe soit d'intersection non vide.
Alors il existe un élément qui est dans les 2 classes, notons le z. Dans ce cas, x et z sont en relations, et z et y également. Par transitivité, x et y le sont aussi et donc x est dans la classe de y et y est dans la classe de x ...

Sauf erreur(s).
A+