Ein Monoid über einer Menge S ist eine Halbgruppe über S mit einem neutralen Element U. Das bedeutet, es existiert ein U aus S für alle X aus S, so dass X * U = X und U * X = X wahr sind.