подгруппа истинная

Матем. proper subgroup