幾何学的群論ではふつう集合Sは有限かつ対称（つまりS=S−1）であり、単位元を含まないと仮定する。
在几何群论中，集合S{\displaystyleS}，通常被假定为有限的、“对称的”也就是S=S−1{\displaystyleS=S^{-1}}，并且不包含这个群的单位元。