Quotient-variety-containing subgroup