等势集

集合A所含元素的个数称为A的势（或基数）。若存在从集合A到集合B的一一对应（双射），则称A与B等势（或对等），记作A~B. 相应地，称A、B为等势集（亦称对等集、等基数集）。一一对应或对等可用于比较集合的大小（即集合所含元素个数的比较）。空集只与自身对等；两个有限集对等当且仅当它们的元素个数相同；与自然数集对等的集合称为可列集或可数集，与实数集对等的集合称为具有连续势。