El conjunto $[x]$ consiste, como escribir, exactamente de los elementos $y$ $X$ satisfactorio que $x\sim y$. Es decir, dada la $x$, la clase de equivalencia es un subconjunto de a $X$. Nota, en particular, que si $x \sim y$,$[x] = [y]$.
Considere el ejemplo: $X = \mathbb{Z}$. Definir la relación de equivalencia que $x\sim y$ si y sólo si $2 \mid x- y$. Que es $x$ $y$ están en la misma clase de equivalencia exactamente cuando su diferencia es divisible por $2$.
Entonces, ¿qué es $[0]$? No es difícil ver que este es el elemento en $\mathbb{Z}$ que son divisibles por $2$: $y \sim 0$ significa $2 \mid y - 0$.
Pregunta extra: ¿cuántas clases de equivalencia tiene usted? Sugerencia: $2$
Bono Extra de la pregunta: anote las dos clases de equivalencia. Respuesta: Si usted piensa acerca de ello, no es difícil ver que el $2$ clases de equivalencia son exactamente los números pares y los impares.