<-- Go Back Last Updated: 19/08/2026
A semigroup \((S,\cdot)\) consists of a set \(S\) with a binary product \(\cdot:S\times S\to S\) which is associative.