Semigroup theory

Semigroup theory is a branch of abstract algebra that studies semigroups, which are algebraic structures consisting of a non-empty set equipped with an associative binary operation.