査読/カントール＝ベルンシュタインの定理(Joh著)/1 のバックアップ(No.2)

知りませんでした †

証明は面白かったです。へぇ～って感じです。

いきなり質問ですいません。二つの集合が同型ってなんでしたっけ。全単射が両者にあるということですかね。

なんとなくイメージではZと2Zが同型というようなときに使うのですかね。

要するに全体がどうなっているか分からない集合同士でも部分集合に同型があればよいというようなことでしょうか？

この定理が有用な例とかあったらさらによかったですね。何かありますかねえ。