Relación de Equivalencia

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Una relación binaria sobre un conjunto que es reflexiva, simétrica y transitiva; particiona el conjunto en clases de equivalencia disjuntas cuyos miembros son indistinguibles respecto de la relación.