レーマー符号
個存在するという事実を利用している。置換 "σ" は 1, …, "n" の像の列 ("σ", …, "σ") によって表すなら、"n" 個の数の並びによって符号化されることになる。しかし、こうした並びには置換を表さないもの（同じ数を二度使ったもの）も含まれている。ここで考察する符号は、先頭の数を "n" 個の数から選び、次の数は 個の数から選び、そうしていって、最後の数はたった1個の数から選んでできるものである。