弟子さんでも最初の方では写像を導入するためにそうやってるだけで
後からn個の順列作れるように自然数からの写像として定義してますよね