3.1 Monoids

A monoid is a non-empty set closed under an associative binary operation where has an identity element.

Note: Without identity, this would merely be a semi-group. 90 more words