あみだ。

有限な自然数を定義域とする全単射関数の定義による写像を作る。