a monoid is a set of things plus a rule to combine the things and that rule obeys some rules