対称群は有限集合上のものを考えることがほとんどで、この場合には適当な自然数 "n" に対して "s" ＝{1,2, …,"n"}であるとして一般性を失わない。