Se verifica que las dos operaciones definidas son compatibles con la relación de equivalencia, indicando de manera que formula_4 se puede definir como el conjunto cociente formula_33, con la relación de equivalencia descrita antes.