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