MONOID

A non-empty set M with a binary operation * is called a monoid if the following conditions are satisfied: -