La estructura algebraica formula_359, donde formula_315 se define de la siguiente forma: formula_361 siendo la operación "formula_325" la operación binaria de adición usual, es evidentemente cerrada para formula_315; además: