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

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