El grupo formula_9 se llama "Subgrupo" de formula_7 si y sólo si: