Semigroup

A semigroup is a monoid sans identity; i.e., a set S with an associative binary operation ×:S→S→S.