En general, cuando formula_13 y formula_265 son subgrupos, el producto formula_267 no es un subgrupo, por lo que el subgrupo que contenga a dos subgrupos debe definirse otra manera.