■

• Lindelof = compact for T_1-spaces iff the axiom of countable choice for subsets of the reals fails.
• Lindelof T_2-spaces are T_3 spaces iff the axiom of countable choice for subsets of the reals fails.

数学科の集合と位相の講義ってきっとこういう事ならうんだろうなぁ。
裏山。

話は変わるけど、cptとopenのにも一応黄色付けたんだけど、先ずどれが重要なのか分からないから
それっぽいのに付けてみたので意見募集中。

cpt: compact, countably compact, Lindelof, locally compact, paracompact (σ-compact, realcompact, developable spaceをどうするか・・・)

open: open, preopen, semiopen, α-open, generalized open (δ-open, regular open, θ-openをどうするか・・・)