Un subgrupo que contiene a 4 debe contener \(4+4\), \(-4\), \(0\), etc.: todos los múltiplos de 4. Ese conjunto ya es subgrupo, así que es el menor. El conjunto \(\{4\}\) no es cerrado.
El subgrupo generado por un subconjunto \(S\) de un grupo \(G\) es el menor subgrupo \(H\) de \(G\) que contiene a \(S\); se denota \(\langle S\rangle\) y a \(S\) se le llama conjunto de generadores.