Por lo tanto, al ser "formula_315" cerrada y cumplirse las cuatro propiedades anteriores, vemos que la estructura formula_359 de hecho es un grupo abeliano.