" : "A" → "B" 和 "g" : "B" → "A"，则存在一个双射 "h" : "A" → "B"。从势的角度来看, 这意味着如果 |"A"| ≤ |"B"| 并且 |"B"| ≤ |"A"|，则 |"A"| = |"B"|，即"A"与"B"等势。显然，这是在基数排序中非常有用的特征。
证明.下面是证明：证明： 令并令对任意的 "a"∈"A" 定义映射如果"a"不在集合"C"中，那么"a"不在集合"C"中。因此由"C"的定义可知"a" ∈ "g"<now