Abstract
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 ∗.
Keywords: