Monoid

A monoid is a triple (M,×,1) where M is a set, ×:M→M→M is an associative binary operation, and 1 is an identity element under ×.