Cardinal d'une classe d'équivalence

[Jeejsaas]

Bonjour, j'ai un doute sur une question sur les classes d'équivalence et je souhaiterais savoir si mon raisonnement est juste
Soit une relation d'équivalence sur définie par
On voit donc que

[Ben314]

Salut,
Ce n'est pas UNE (article indéfini) relation d'équivalence définie par . . . mais LA (article défini) relation d'équivalence définie par . . .
(c'est on ne peut plus important en math de distinguer les articles définis de ceux indéfinis)


Ce qui signifie que la classe du réel pour la relation est l'ensemble