Egy tetszőleges G csoport valamely H részhalmaza akkor és csak akkor részcsoport G-ben, ha teljesülnek az alábbi feltételek:

1. H zárt a G csoport műveletére.
2. H tartalmazza a G csoport egységelemét.
3. H zárt a G-beli inverzképzésre.