Definition
A semigroup is a mathematical object defined for a set and a binary operator in which the multiplication operation is associative.
Notes
- special case of magma where the operation is associative
- generalization of group without requiring identity element or inverse
References
- https://mathworld.wolfram.com/Semigroup.html