Enoncé:

Soit (E,~) un ensemble muni d'une relation d'équivalence. L'ensemble des classes d'équivalence forme une partition de l'ensemble E.

Démonstration: