monoid

Monoid

$(A,\circ )$ is a monoid if $\circ$ is associative and $A$ has an neutral element.
Example: $(\mathbb{N},+)$, $(A^A,\circ )$ (set of all functions from $A$ to $A$ with composition)