fを無限集合X上の全単射とします。
X上の任意の全単射gに対して fg=gf が成り立つとき
f=id といえるでつか？