LARA

Semigroup

Semigroup is a pair $(G,*)$ where $* : G^2 \to G$ such that $*$ is associative, that is, for all $x,y, z \in G$,

\begin{equation*} x * (y * z) = (x * y) * z \end{equation*}