Ein Monoid ist eine algebraische Struktur, bestehend aus einer Menge, einer Verknüpfung auf dieser Menge und einem neutralen Element.
Sei $M$ eine Menge und $* : M \times M \to M, (a,b) \mapsto a * b$ eine zweistellige Verknüpfung auf $M$ .