前回は写像を集合論の言葉で定義し、使えるようにした。実は数列は写像を使って簡単に定義できるので、ここで定義してしまうことにする。