>>542
曲解お断り。
>>534のYesは、「集合族 Xn が単調減少である」とは「X1⊃X2⊃・・・」を前提として、回答したもの

対して、>>412の意味は、きちんと、”(>>406より)「ここで、{s_ M +1,s_ M +2,・・・} の集合の濃度は可算無限である(i.e. 集合の濃度に変化なし)」”
と書いてあるとおりですよ