>>13
AとBが濃度なのだからA⊆BかB⊆Aかのどちらかである
2^A=2^Bだから、両者の順序⊆に関する最大元を取るとA=Bがわかる

と思ったんだけど、違うの？

#2^A=#2^B⇒#A=#Bなら理解できるけど