员。对于有限集合这是容易的；只需简单的数算一个集合的成员数目。为了比较更大集合的大小，得借助更加巧妙的概念。一个集合formula_17至少等大小于（或称大于等于）一个集合formula_18，如果有从formula_18到formula_17的一个单射（一一映射）。一一映射对集合formula_18的每个元素确定了一个唯一的集合formula_17的元素。通过例子就最易理解了；假设有集合formula_23和formula_24，我们可以注意到有一个映射：这是一对一的，使用上述的大小概念，我们因此总