Es sencillo comprobar que es una operación interna bien definida, asociativa, conmutativa, que tiene elemento neutro formula_32 para cualquier formula_33, y que todo elemento formula_34 tiene por elemento opuesto a formula_35.