Monoid

Set equipped with an associative binary operation and a binary operation. Equivalent to a Semigroup with an identity element

Links

• Wikipedia Page

Examples

• $\left(\mathbb{Z},+\right)$ ( 0 is the identity )
• $\left({\mathbb{Z}}^{+},\times \right)$ ( 1 is the identity )