Kedves Jo Tunder,
ez így nem igaz. Pl. vegyük Alef_omega egy Alef_omega számosságú valódi részhalmazát. Ennek számossága nagyobb lesz, mint Alef_omega.