In abstract algebra, a **semigroup** is a fundamental algebraic structure consisting of a set equipped with an associative binary operation. Formally, a semigroup is defined as follows: 1. **Set**: Let \( S \) be a non-empty set.
New to topics? Read the docs here!