rmula_24，我们可以注意到有一个映射：这是一对一的，使用上述的大小概念，我们因此总结出formula_17有大于等于formula_18的势。注意元素formula_30没有元素映射到它，但这是允许的，因为我们只要求一一映射，而不必须是一对一并且完全的映射。这个概念的好处是它可以扩展到无限集合。我们可以把这个概念扩展到一个类似于等式的关系。两个集合X和formula_17被称为有相同的'势'，如果存在formula_18和formula_17之间的双射。通过Schroeder-Bernstein