Monoid
Z Wikipedii
Monoid to półgrupa, która zawiera element neutralny swojego działania. Monoidem są na przykład liczby całkowite nieujemne z działaniem dodawania: elementem neutralnym jest w tym przypadku zero. Szczególny przypadek monoidu stanowi grupa.