可算・高々可算・非可算
であるとき、 は可算無限であるという。、すなわち から への単射が存在するとき、 は高々可算であるという。高々可算でない集合を非可算という。
閉包の状態
定義
定義は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 1 件
- Cantor の同型定理（可算稠密全順序の一意性）✓定理 2.14・選択公理と Zorn の補題
であるとき、 は可算無限であるという。、すなわち から への単射が存在するとき、 は高々可算であるという。高々可算でない集合を非可算という。
定義
定義は閉包の起点です（証明を要しません）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。