Es sencillo comprobar que es una operación interna bien definida, asociativa, conmutativa, que tiene elemento neutro formula_39 para cualquier formula_40, y que todo elemento formula_41 tiene por elemento simétrico (elemento inverso) a formula_42.