Изменения
Нет описания правки
* Ассоциотивность <tex>(\alpha\beta)\gamma=\alpha(\beta\gamma)</tex>
* <tex>\exists </tex> <tex>\varepsilon </tex> - нейтральный элемент, такой, что <tex>\alpha\varepsilon=\varepsilon\alpha=\alpha</tex>
Таким образом мы получаем ''свободный моноид слов''.
