Un monoide formula_1 es una estructura algebraica en la que formula_2 es un conjunto y formula_3 es una operación binaria interna en formula_2: