Es la relación reflexiva, simétrica y transitiva (ver texto ). Cuando se define una relación de equivalencia para un conjunto determinado, A, este conjunto queda dividido en subconjuntos o clases, denominados clases de equivalencia, cuyos miembros son elementos equivalentes. A la división en clases se la denomina partición.