Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is an equivalence class essentially a binary relation whose elements have an equivalence relation?

share|cite|improve this question
have you gone to wikipedia? or, even done a google search for the terms? What is an 'equivalence relation'? – Erik G. Jan 18 '13 at 1:19
up vote 3 down vote accepted

The difference between an equivalence relation and a general binary relation is simply in the definition: equivalence relations have to behave like one would expect an $=$ sign would. $a$ always equals $a$, $a$ equals $b$ anytime $b$ equals $a$, and $a$ equals $c$ whenever $a$ equals $b$ and $b$ equals $c$. Thus if a binary relation $\sim$ on a set $S$ satisfies $a\sim a$ for all $a\in S$, $a\sim b \Rightarrow b \sim a$, and $(a\sim b )\wedge(b\sim c) \Rightarrow a \sim c$, we say that $\sim$ is an equivalence relation on $S$.

An equivalence class is a collection of elements which are all related to each other under an equivalence relation. It follows from the definition of an equivalence relation that sets can be partitioned into pairwise disjoint equivalence classes given any equivalence relation on that set.

So, for example, under the relation $a\sim b$ if $a\equiv b \pmod{2}$, the set of integers has two equivalence classes - the even numbers and the odd numbers. You write equivalence classes by picking some member to represent the set, then writing that member in brackets, like $[x]$. So under the above equivalence relation $\mathbb{Z}=[0]\cup [1]$.

share|cite|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.