Definition (Monoid) A monoid is a set X equipped with an associative operation X×X→X and an identity element.
Definition (Monoid)
A monoid is a set X equipped with an associative operation X×X→X and an identity element.