Sorgenfrey 平面は正規でない
Sorgenfrey 平面 は正則でハウスドルフ、可分であるが、正規でない。したがって Lindelöf でもパラコンパクトでもない。すなわち、正規性・パラコンパクト性・Lindelöf 性は積で保たれない（ 自身は 3 つとも満たす、命題 3.2）。
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 22 件、定義なども含めて 31 件）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義（直接 4 件）
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
Sorgenfrey 直線の性質✓命題 3.2・反例の空間
実数全体は非可算（カントールの対角線論法）✓定理 6.3・濃度と無限
- 小数展開の存在と、桁を制限したときの一意性✓補題 6.1・濃度と無限
- 可算性の含意関係✓命題 7.2・積位相・商位相と Tychonoff の定理
有理数全体は可算無限✓定理 5.6・濃度と無限
- 整数全体は可算無限✓補題 5.2・濃度と無限
自然数の対の全体は可算✓補題 5.4・濃度と無限
- カントール–シュレーダー–ベルンシュタインの定理✓定理 3.5・濃度と無限
- カントール–シュレーダー–ベルンシュタインの定理✓定理 3.5・濃度と無限
- 正則 Lindelöf 空間はパラコンパクト✓系 4.2・パラコンパクト空間と 1 の分割（上で展開済み）
- パラコンパクトなハウスドルフ空間は正規✓定理 3.2・パラコンパクト空間と 1 の分割（上で展開済み）
Jones の補題✓補題 3.3・反例の空間
連続体濃度は自然数の冪集合の濃度✓命題 6.6・濃度と無限
- カントール–シュレーダー–ベルンシュタインの定理✓定理 3.5・濃度と無限
- 小数展開の存在と、桁を制限したときの一意性✓補題 6.1・濃度と無限
- 有理数全体は可算無限✓定理 5.6・濃度と無限（上で展開済み）
- カントール–シュレーダー–ベルンシュタインの定理✓定理 3.5・濃度と無限
パラコンパクトなハウスドルフ空間は正規✓定理 3.2・パラコンパクト空間と 1 の分割
縮小補題✓補題 4.4・分離公理と距離づけ可能性
- 正則・正規と T3・T4定義 4.1・分離公理と距離づけ可能性
正則 Lindelöf 空間はパラコンパクト✓系 4.2・パラコンパクト空間と 1 の分割
- 第一可算・第二可算・可分・Lindelöf定義 7.1・積位相・商位相と Tychonoff の定理
Michael の定理✓定理 4.1・パラコンパクト空間と 1 の分割
これを使っている定理
証明で明示的に参照している定理は、まだありません。