Sea formula_274 Sean formula_275 y formula_276 Entonces, formula_277 Notemos que, en este ejemplo, formula_190 y formula_143 son subgrupos de formula_39 pero que formula_216 no lo es (¿por qué no es subgrupo?).