determina un subgrupo de G (lo que simbolizamos por H < G), cuando HH ⊂ H (ver definición de subgrupo en C.2).