Se dice que la estructura formula_3 es un grupo abeliano con respecto a la operación formula_2 si: