Monoids

Definition (Monoid)

A monoid is a set equipped with an associative operation and an identity element.