Description: A subset of generators is
contained in a submonoid iff the set of words
on the generators is in the submonoid. This can be viewed as an
elementary way of saying "the monoidal closure of is
Word ".
(Contributed by Mario Carneiro, 2-Oct-2015.)