Proper Subgroup
A proper subgroup of satisfies , , and .
Definition 1.22 (Proper Subgroup)
Let be a group. Then is a proper subgroup of if , and .
Stated in
- Definition 1.22 (Proper Subgroup)§1.6 Subgroups

Proper Subgroup
A proper subgroup of satisfies , , and .