Es sencillo comprobar que es operación interna, asociativa, conmutativa, que tiene elemento neutro formula_33 y que todo elemento formula_34 tiene por elemento simétrico (elemento opuesto) a formula_35.