Relation d'équivalence

[Hannaut]

Bonjour.

Quand on se donne une partition A d'un ensemble E, on sait qu'il existe une relation d'équivalence R tel que A = E/R.
Je n'ai pas de souci concernant la démonstration. Mais quel argument permet de montrer l'unicité de cette relation d'équivalence ?

[GaBuZoMeu]

Bonjour,

On sait aussi que pour tous éléments , on a si et seulement s'il existe une classe telle que et . La relation d'équivalence est entièrement définie par la partition .

[Hannaut]

D'accord GaBuZoMeu, c'est effectivement de cette relation dont il était question.

Merci.