Ontify
The set arising from multiplying every element in a subgroup by an element in the ambient group.