Se dice que formula_126 es un subgrupo de formula_24, hecho que se representa por formula_174, si formula_175 y si formula_126 es él mismo un grupo respecto de la operación de formula_24.