Cantor Bernstein Schroeder Theorem 說明

cantor bernstein schroeder theorem 說明
這定理因為太有趣
加上最近 想要研究一下modern set theory

來研究一下證明

定理簡單說 給兩個集合 A, B 如果存在f 1- from A to B
和 g from B to A 且 g 也是 1-1.

則存在h bijective from A to B.