94ページから102ページまで。自然数に対して成立している数学的帰納法を、整列集合に拡張してできた超限帰納法というのがすごい。 順序同型 順序を保つ写像 順序単射 順序同型写像 などが登場。順序同型写像は順序単射かつ全射。全単射だから逆写像も存在し…