合"formula_2"的势」，若"formula_1"的势不小于"formula_2"的势，但"formula_1"和"formula_2"不等势。也就是说，存在一由"formula_2"到"formula_1"的单射，但它们之间不存在一一对应。例如，实数集合formula_34的势严格大于自然数集合formula_18的势，因为内含映射formula_36是单射的，且可证明不存在一由formula_18到formula_34的双射函数。
可数与不可数集合.假设选择公理成立，三分