}}
Нейтральный элемент превращает <tex>\sumSigma^*</tex> в свободный с операцией конкатенации и нейтральным элементом <tex>\varepsilon</tex> образуют моноид. Данный моноид, порожденный совпадает со свободным над <tex>\sumSigma</tex>.
== Отношения между строками ==
