Para ver que, en realidad, tanto formula_2 como formula_1 son, desde el punto de vista algebraico, un subconjunto de formula_3 y que efectivamente formula_3 es un anillo que contiene a formula_1 como un subanillo, es necesario definir las operaciones de anillo sobre formula_3.