Supóngase que formula_9 es un grupo actuando sobre un conjunto formula_10.