>>766-767
蕎麦屋さん、フォローありがとう
　>>763の後半も見てくれ

>>768
>>（dccを満たす証明について）
>>自然数Nから先のコンパクト化された N∪ω にもそのまま適用できる気がする

さすがに気付いてくれた？ 珍説批判を兼ねていることに
N∪ω >>762 "自然数全体（離散位相） N の一点コンパクト化は N に最大元 ω を付け加えた順序集合 N∪ω の順序位相と同相になる"
から、dccを満たすよね。分かっているかい？ｗ

>>>もし「上昇列、即、降下列」と思ってるなら、
>>>それが君の最大の躓きの石だよ
>>なんだかね　それは、おれが言いたいことだよ

なんだかね
晒し者状態継続中かよ
時枝 箱入り無数目 とか「無限シングルトン」とかも