定義
S を集合とする。
S から S への全単射全体は写像の合成で群となる。
この群を S 上の対称群と呼び Sym(S) と書く。