\(S\) é redutor de \(G_S\) por definição, e da mesma forma como o Kernel, não existe subconjunto próprio de \(S\) que reduz \(G_S\)