}}
Тривиальным примером будет, если взять Тривиальный пример образуют множество <tex> S = \{\varnothing \} </tex> и операцию операция <tex> \cup </tex>. Тогда <tex> S^* \equiv \{\varnothing \} </tex>.
Другой пример: <tex> S = \{0, 1\} </tex>, операция {{---}} сложение. Тогда <tex>S^* \equiv \mathbb{N} \cup \{0\} </tex>.
[[Файл:FreeMonoidDefinition.png]]
Если <tex> S </tex> является подмножеством <tex> M </tex>, то отображение <tex> i </tex> называют '''естественным вложением''' (англ. ''natural injection''), и пишут <tex> i \colon S \hookrightarrow M </tex>.
== См. также ==
