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