On the family of retracts of free monoids
Wit Foryś · International Journal of Computer Mathematics · 1990
We prove that a family of all retracts of a free monoid A ∗ partially ordered by the relation of inclusion forms a complete lattice. We also formulate some new conditions of iff type for a submonoid of A ∗ to be a retract of A ∗.