>>75
X=supY_nというのは自然な包含順序によるものであり
したがってXはY_nの合併集合と考えてよいわけだが
そのXの部分集合Aの濃度がXの濃度より真に小であるという条件から
Aの濃度がどれかのY_nの濃度で押えられるということは
何によって保証されるのでしょうか。
>>76
当然、専門のスレで議論するほどのことではありません。