proper subgroup

Матем. подгруппа истинная