monoid

Monoid - półgrupa, której działanie ma element neutralny. Formalnie, monoid to algebra , sygnatury , gdzie S jest niepustym zbiorem, natomiast

jest działaniem dwuargumentowym, spełniającym warunki:

1.       (e jest elementem neutralnym),
2.       (działanie jest łączne).