Decimos que un subconjunto formula_1 de un grupo formula_2 es un subgrupo de formula_2 cuando formula_1 es un grupo con la operación ( de adición o multiplicación) de formula_2 restringida a los elementos de formula_1.