Si \(y\in[a]\cap[b]\), entonces \(y\,R\,a\) y \(y\,R\,b\). Por simetría y transitividad \(a\,R\,b\), así que \([a]=[b]\). No se sigue que \(a=b\): en \(\{1,2,3\}\) con la paridad, \(1\) y \(3\) tienen la misma clase sin ser iguales.
Dada una relación de equivalencia \(R\) sobre \(A\) y un elemento \(a\in A\), la clase de equivalencia \([a]\) es el conjunto de todos los \(x\in A\) con \(x\,R\,a\).