La clase de equivalencia de un elemento formula_40 de formula_24 por la relación de congruencia módulo formula_126 por la izquierda es el conjunto