proper subgroup

[ریاضیات] زیرگروه بدیهی، زیرگروه سره