# Basic Equivalence Class Discrete Math

I read through the textbook definition, but still cannot clearly understand what an equivalence class is Does anyone have a good example with a definition that can hit me home?

-

An equivalence class is just a set of things that are all "equal" to each other. Consider the set $$S=\{0,1,2,3,4,5\}.$$ There are many equivalence relations we could define on this set. One would be $xRy \Leftrightarrow x=y$, in which case the equivalence classes are: $$[0]=\{0\} \\ [1]=\{1\} \\ \vdots \\ [5]=\{5\}$$ We could also define $xRy$ if and only if $x \equiv y \pmod{3}$, in which case our equivalence classes are: $$[0]=[3]=\{0,3\} \\ [1]=[4]=\{1,4\} \\ [2]=[5]=\{2,5\}$$

-
mod 3 = divides evenly? –  Aaron Nov 2 '12 at 2:35
@Aaron: $x \equiv y \pmod{3}$ means $x-y$ is divisible by 3. I'm not sure what you mean by "= divides evenly". –  wj32 Nov 2 '12 at 2:37
Sorry, was looking at something else. So notation wise, how would you denote one of those equivalent classes? –  Aaron Nov 2 '12 at 2:41
@Aaron: There are various notations that people use. You've already used the notation $[x]$. Some people like $[[x]]$. Or are you referring to something else? –  wj32 Nov 2 '12 at 2:42
Nevermind i'll figure it out from here, Thanks for your help. –  Aaron Nov 2 '12 at 2:46
@Aaron: It means the set of all things $y$ ("$y \in A$") such that $y$ is equivalent to $x$ ("$yRx$"). Here, if $x$ is a red car then $[x]$ is the set of all cars ("$y \in \mbox{Cars}$") which have the same color as $x$ ("$yRx$"). That is, the set of all red cars. –  wj32 Nov 2 '12 at 2:17