因为我们只要求一一映射，而不必须是一对一并且完全的映射。这个概念的好处是它可以扩展到无限集合。我们可以把这个概念扩展到一个类似于等式的关系。两个集合X和formula_17被称为有相同的'势'，如果存在formula_18和formula_17之间的双射。通过Schroeder-Bernstein定理，这等价于有从formula_18到formula_17和从formula_17到formula_18的两个一一映射。我们接着记之为 formula_38。formula_18的基数自身经常被定义为有着 f