El conjunto formula_45 con las operaciones definidas arriba tiene la estructura de un anillo con identidad que contiene a formula_44 como subanillo.