Si formula_1 es un grupo que actúa sobre un conjunto formula_2, notemos lo siguiente: