Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

You have given that the equivalence class of $x$ and the equivalence class of $y$ is equal. $[x]=[y]$. Does this imply that $x\sim y$? If yes, how do I prove it, if no, what sort of counter-examples can I give?

share|improve this question
After you ask a question here, if you get an acceptable answer, you should "accept" the answer by clicking the check mark ✓ next to it. This scores points for you and for the person who answered your question. If you don't do this, people are less likely to answer your later questions. You can find out more about accepting answers here: How do I accept an answer?, Why should we accept answers?, How does accept rate work?. –  Julian Kuelshammer Oct 15 '12 at 20:35

2 Answers 2

By definiton of the equivalence class of some element, we have \[ [x] = \{z \in X \mid z \sim x\} \] By reflexivity of $\sim$, we have $x \in [x]$. So $y \in [y] = [x]$, that is $y \in [x]$, so by definition of $[x]$, $y \sim x$.

share|improve this answer

Yes. If $[a]$ and $[b]$ are equivalence classes, then either $[a]=[b]$ or $[a]\cap[b] = \varnothing$.

Equivalence classes always form a partition of the underlying set: every element $x$ lies in exactly one equivalence class.

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.