Dícese de la relación definida en un conjunto C que cumple las propiedades reflexiva, simétrica y transitiva. Una relación de equivalencia permite agrupar a todos los elementos de C en subconjuntos que reciben el nombre de clases de equivalencia.