Más aún, si formula_227 es una familia de subgrupos de formula_24, entonces formula_229 es también un subgrupo de formula_24.