Semigroup • Lutalli

Definition 1.

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