formula_18到formula_17的一个单射（一一映射）。一一映射对集合formula_18的每个元素确定了一个唯一的集合formula_17的元素。通过例子就最易理解了；假设有集合formula_23和formula_24，我们可以注意到有一个映射：这是一对一的，使用上述的大小概念，我们因此总结出formula_17有大于等于formula_18的势。注意元素formula_30没有元素映射到它，但这是允许的，因为我们只要求一一映射，而不必须是一对一并且完全的映射。这个概念的好处是它可以扩展到无