Semigroup • Lutalli

SEM#DEF. Semigroup.

A semigroup is an associative magma, i.e. a magma $S$ such that for all $a$, $b$, $c\in S$,
\[(ab)c = a(bc).\]