ABSTRACT

A semigroup is a set S together with an associative binary operation on S. (There are no other axioms.)