Más generalmente, si "S" ⊆ "G",  es el mínimo subgrupo de "G" que contiene a "S", llamado "subgrupo generado por S"; equivalentemente,  es el subgrupo de "G" conformado por todos los elementos que pueden ser expresados como el producto de un número finito de elementos de "S" y de sus inversos.