<-- Go Back Last Updated: 10/06/2025

Monoid**

A monoid \((M,\cdot)\) consists of a set \(M\) with a binary operation \(\cdot:M\times M\to M\) which is associative and unital but, unlike for a group, not necessarily invertible. Examples include the natural numbers under addition and the integers under multiplication.