置換群
Xの
置換
全体からなる群のこと