，对于 "S" 我们有:无限群也可以有有限生成集合。整数集的加法群有 1 作为生成集合。元素 2 不是生成集合，因为它不能生成奇数。两元素子集 {3, 5} 是生成集合，因为 (-5) + 3 + 3 = 1 (事实上，任何一对互素的数都可以，这是贝祖等式的结论)。