1679
правок
Изменения
→Свойства
==Свойства==
* <tex>\forall \alpha, \beta, \gamma. (\alpha\beta)\gamma=\alpha(\beta\gamma)</tex>* <tex>\forall \alpha, \beta. \alpha\varepsilon=\varepsilon\alpha=\alpha</tex>
Таким образом, мы получаем '''свободный [[Моноид|моноид]] слов'''.
