ベルンシュタインの定理

3行要約

1. 2つの集合間にそれぞれ単射が存在すれば、それらの濃度は等しいという定理。
2. 集合論において、集合の大きさを比較する際の基本的かつ強力な道具である。
3. 直感的に明らかに見えるが、証明には集合の分割を用いた巧妙な構成を必要とする。