在数学里，一个有限集的元素个数是一个自然数，势标志着该集合的大小。对于有限集，势为其元素的数量。比较无穷集里元素的多寡之方法，可在集合论里用集合的等势和某集合的势比另一个集合大这两个概念来达到目的。
集合比较.设formula_1和formula_2为集合。称它们等势，指的是存在"formula_1"到"formula_2"一个双射formula_5，即"formula_1"中的元素可以与"formula_2"中的元素一一对应起来。例子：集合formula_8与formula_9