Un semigrupo es un sistema algebraico de la forma formula_1 en la cual A es un conjunto no vacío, formula_2 es una operación interna definida en "A":