Se dice que formula_2 es un subgrupo de formula_1, hecho que se representa por formula_4, si formula_5 y si formula_2 es él mismo un grupo respecto de la operación de formula_1.