Un semigrupo es un sistema algebraico de la forma {\displaystyle } en la cual A es un conjunto no vacío, ⊚ {\displaystyle \circledcirc } es una operación interna definida en A: ⊚ : A × A ⟶ A ⟼ c = a ⊚ b {\displaystyle {\begin{array}{rccl}\circledcirc :&A\times A&\longrightarrow &A\\&&\longmapsto &c=a\circledcirc b\end{array}}} Un semigrupo cumple las dos siguientes propiedades: En otras palabras, un semigrupo es un magma asociativo. Wikipedia