本人最近在学卓里奇的数学分析，有一处不是很明白： 书中介绍集合的势时，这样说：若集合A、B存在一一对应关系，就说AB等势即等价。记为CARD A=CARD B

而在同一个等价类集中，等势意味着有相同数量的元素。

书中随后又说：即便是X是Y的真子集，不等式CARD Y小于等于 CARD X 也成立。

这就另我费解了，不是说相同数量的元素才等势么，X是Y的真子集，怎么Y的势还小于X的势？

可能问题比较小白，希望得到大家指点。