Un subgrupo propio formula_45 de un grupo formula_1 se dice subgrupo maximal de formula_1 si formula_48 implica formula_49 o formula_50 para cualquiera que sea el conjunto formula_2.