Semigroup

A semigroup is a monoid sans identity; i.e., a set $S$ with an associative binary operation $\times :S\to S\to S$.