Un subconjunto H de G determina o forma un subgrupo de G cuando H con las operaciones de G restringidas a H, proveen a H con una estructura de grupo.