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--