A set with an associative binary operation defined upon its elements. There need not be an identity element (as there must be in a monoid), nor is there a requirement that every element must have an inverse (as there is in a group). Indeed, without an identity the existance of inverses becomes impossible to define.

--back to combinatorics--