Para cada x de A, llamamos clase de equivalencia de x al subconjunto de A, [x], formado por todos los elementos de A que son equivalentes con x.