Un grupo formula_1 es un conjunto formula_2 en el que se ha definido una operación binaria interna formula_3, que satisface los siguientes axiomas: