したがって、A が X の部分集合で 濃度が X の濃度より真に小ならば、
X の定義より、card(A)≦Y_n なる自然数 n が存在する。

基数の上限とか極限基数とか、きちんと勉強するように。