Llamamos R--clase de equivalencia o simplemente clase de equivalencia de un elemento x de X, al subconjunto de X denotado por [x] y que está formado por todos los y en X que son equivalentes (respecto a R) con X.