組合せ論における "n" 元集合 "s" の置換は、"s" の元を(各元をちょうど一回ずつ)適当な順に並べたものである。