Definición 1.5: Sea formula_24 un monoide.