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