的集合所组成的各个等价类）。势的概念可以依据函数的单射、双射与满射概念来阐述；比如透过单射，可以给出在整个全集上通过大小比较的预序关系它不是真的排序，因为三分律不一定成立：如果 formula_3 和 formula_4 都为真，则通过康托尔-伯恩斯坦-施罗德定理formula_5 为真，就是说 "A" 和 "B" 是等势的，但作为集合它们可以不是相等的；“formula_6三者至少一种情况成立”这一陈述等价于选择公理。不过多数关于势和它的算术的有趣结果可以只通过 = 来表达。基数指派的目标