Monoid: Różnice pomiędzy wersjami

 

== Przykłady==

* <math> \left(X^*, \epsilon, \sim\right)</math> - zbiór słów nad alfabetem <math>X</math>, z <math>\epsilon</math> jako słowem pustym i <math>\sim</math> jako operacją konkatenacji (tzw. ''monoid wolny'').

* Zbiór wszystkich [[funkcja|odwzorowań]] dowolnego zbioru ''M'' w zbiór ''M'' wraz z działaniem [[złożenie funkcji|składania odwzorowań]] tworzy monoid. Jedynką jest w nim odwzorowanie identycznościowe na ''M''. Półgrupę tę nazywa się często pełną półgrupą przekształceń lub półgrupą symetryczną.