Monoid
algebraische Struktur mit einer assoziativen binären Operation und einem neutralen Element
Ein Monoid ist eine Halbgruppe mit neutralem Element. Ein Beispiel für einen Monoid ist die Menge der natürlichen Zahlen inklusive der Null bezüglich der normalen Addition. Es gibt eine sehr enge Verbindung zwischen der Theorie endlicher Monoide und der Automatentheorie. Daher spielen Monoide unter anderem auf dem Gebiet der theoretischen Informatik eine bedeutende Rolle.
siehe auch: Gruppentheorie