Consideremos inicialmente una relación de equivalencia formula_16 sobre un grupo finito "G", definida como: