Sea formula_24 un monoide y formula_46 elementos de formula_24 con formula_48.