を集合、 を自然数とするとき、集合 を次のように定義します。 ちなみに の同一視は から への写像 について、 は によって決定されるため、この両者を同一視することによって決めます。こうすると、たとえば となります。 のとき、自然に とみなすことがで…