generatesSubgroup
P160547
predicate
Indicates that one entity serves as a generating set whose combinations (under the group operation) form a subgroup of another entity.