Monoid: Różnice pomiędzy wersjami

:przy czym podzbiór ten generuje ''X''* i odwzorowanie

:<math>X \rightarrow X^*</math>

:ma następującą własność uniwersalności: dla dowolnego odwzorowania zbioru ''X'' w monoid ''M''

:<math>\alpha: X \rightarrow M</math>