Si formula_40 es el elemento de un monoide formula_24 y formula_42 es un entero positivo, definimos