对应。例如，实数集合formula_34的势严格大于自然数集合formula_18的势，因为内含映射formula_36是单射的，且可证明不存在一由formula_18到formula_34的双射函数。
可数与不可数集合.假设选择公理成立，三分法就会成立于所有的势中，所以可以有以下的定义。
基数.注意，到目前为止，我们只是从函数的角度去定义势的概念：我们没有把一个集合的势真正地定义为一具体的对象。以下将略述此一处理方法。等势可被视为在所有集合的类上的