Изменения

}}

Это наглядно показано следующей картинкой.

Если <tex> S </tex> является подмножеством <tex> M </tex>, то отображение <tex> i </tex> называют '''естественным вложением''' (англ. ''natural injection''), и пишут <tex> i \colon S \hookrightarrow M </tex>.

== Ссылки ==

* [http://www.proofwiki.org/wiki/Definition:Free_Monoid Proof Wiki {{---}} Free monoid]