En lo sucesivo, cuando no haya lugar a confusión, nos referiremos a un monoide formula_27 simplemente como el monoide formula_24, haciendo mención sólo del conjunto y dejando que la operación se deduzca del contexto.