It follows that every monoid (or semigroup) arises as a homomorphic image of a free monoid (or semigroup).
Z toho plyne, že každý monoid (resp. každá pologrupa) se je homomorfním obrazem volného monoidu (resp. volné pologrupy).