زیرگروه واقعی
type: Concept
alternative label: زیرگروه سره
broader: زیرگروه
preferred label: proper subgroup @en

زیرگروه
type: Concept
narrower: زیرگروه واقعی
preferred label: subgroup @en