Informalment, un subgrupo ye un grupo H contenito adintro d'un grupo más gran, Concretament, l'elemento identidat de G ye contenito en H, y siempre que h1 y h2 sían de H, allora tamién lo serán h1 • h2 y h1−1, asinas os elementos d'H, con a operación de grupo en G restrinchita a H, forman un grupo.