# A monoid has an associative binary operation¶

Any monoid has an associative binary operation that takes any two elements in the associated set and produces an element in that set.

\otimes : a \rightarrow a \rightarrow a