A semigroup is an algebraic structure consisting of a set equipped with an associative binary operation. It generalizes the idea of a group by not requiring the existence of an identity element or inverses for every element in the set.