In fact, "every" set of generators for a free semigroup or monoid "S" contains the free generators (see definition of generators in Monoid) since a free generator has word length 1 and hence can only be generated by itself.