If "S" is a subset of a free monoid "A"* then the intersection of all free submonoids of "A"* containing "S" is well-defined, since "A"* itself is free, and contains "S"; it is a free monoid and called the free hull of "S".