Legyen G tetszőleges véges csoport, H pedig ennek egy tetszőleges nemüres részhalmaza. A H halmaz akkor és csak akkor részcsoport G-ben, ha zárt a G csoport műveletére nézve.