元素是否「一样多」的问题。那么以下说明集合"formula_1"的元素是否比集合"formula_2"「多」的问题。称「集合"formula_1"的势"不小于"集合"formula_2"的势」，若存在一个由"formula_2"到"formula_1"的单射。称「集合"formula_1"的势"大于"集合"formula_2"的势」，若"formula_1"的势不小于"formula_2"的势，但"formula_1"和"formula_2"不等势。也就是说，存在一由"formula_2"到"formula