势就是基数, 等势就是基数相等。

  定义12.2.1
  定理12.2.1
  定理12.2.2
  定理12.2.3