Bonjour,
Soit une relation d'équivalence sur un ensemble E.
Alors les classes d'équivalences forment une partition de E.
Je bloque sur le début de la démo.
Chaque élément x de E appartient à sa classe d'équivalence (par réflexivité de donc l'union des classes d'équivalence est bien l'ensemble E tout entier.
Je comprends pas pourquoi si tous les x appartenant à E appartient à leur classe d'équivalence, l'union des classes d'équivalence donne E