El conjunto formula_33 es un subgrupo en "H" cuando "S" es un subgrupo en "G".