Ein Monoid ist eine algebraische Struktur mit einer assoziativen binären Operation und einem Identitätselement.

Die Zahlen eins bis neun bilden ein Monoid unter der Multiplikation.

In der Informatik wird das Konzept des Monoids häufig verwendet.

In der Kategoriendefinition ist ein Monoid ein spezieller Fall eines Kategorienschemas.

Ein Monoid ist eine Verallgemeinerung des Konzepts des Gruppen in der Algebra.