Semigroup with three elements (source code)

= Semigroup with three elements
{wiki=Semigroup_with_three_elements}

A **semigroup** is an algebraic structure consisting of a set equipped with an associative binary operation.