semigroup

Eine Halbgruppe ist ein Paar \((M, \cdot)\) bestehnd aus einer menge \(M\) und einer binären Verknüpfung

\begin{align*} \cdot: M \times M \rightarrow& M \\ (a,b) \mapsto& a \cdot b \end{align*}

so dass das Assoziativgesetz erfüllt ist.