Monoid

In der abstrakten Algebra ist ein Monoid eine algebraische Struktur bestehend aus einer Menge mit einer klammerfrei notierbaren (assoziativen) Verknüpfung und einem neutralen Element. Ein Beispiel sind die natürlichen Zahlen mit der Multiplikation und der Zahl 1 als neutralem Element. Ein Monoid, in dem jedes Element invertierbar ist, heißt Gruppe.