A proper subgroup is a proper subset H of group elements of a group G that satisfies the four group requirements. "H is a proper subgroup of G" is written H subset G. The group order of any subgroup of a group of group order h must be a divisor of h.

group | subgroup