とする．このときの逆関数 は自由変数 は ① で与えられる． ①について 何のか？ との何れか大きい方． 例 のとき とより

補題 1.1.1 可算集合の有限列全体も可算である． (証明の方針) まず，可算集合としてを考える．このとき次のような関数が ① 全射 あるいは ② 単射 であることを示す．但し 関数について からへの関数 ：1つの集合族(で添字付けられた列) に対して からへの関…