書き足していきたい

一致の定理

解析接続のベースとなる定理。解析接続は正則性を保ったまま関数の定義域を広げるのだが、このときの広げ方が一意であることが一致の定理より従う。

美しい。

Schröder–Bernstein theorem

Cantor–Bernstein–Schroeder theorem ともいう。

互いに単射（もしくは、互いに全射）が存在すれば全単射が存在する。なお、公理系には依ってしまう。順序数のベースとなる。つまり、全単射で単射の存在性で関係を作れば、となる。