jav: ezen Alef_omega számosságú részhalmaz részhalmazainak a számossága pont annyi lesz, mint Alef_omega részhalmazainak számossága.