定義
S を集合とする。
Sym(S)（>>6）の元を S 上の置換と呼ぶ。
Sym(S) の部分群 G を S 上の置換群と言う。
このとき S は忠実（過去スレpart5の843）な G-集合（過去スレpart5の77）となる。
逆に忠実な G-集合 X は X 上の置換群と見なされる。