Decimos que formula_77 es al anillo cociente de formula_2 por el ideal formula_53 y podemos leer formula_77 como "formula_2 módulo formula_53".