>>20
N全体という無限集合で考えるのではなく
とりあえずS_n = {1,2,…,n} という有限集合で
S_n → S_n という写像を考えてみては。