Monoid
Z Wikipedii
Monoid to półgrupa, dla której działania istnieje element neutralny. 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.