Monoid

A monoid is a triple $(M,\times ,1)$ where $M$ is a set, $\times :M\to M\to M$ is an associative binary operation, and $1$ is an identity element under $\times$.