势就是基数, 等势就是基数相等。
定义12.2.1
定理12.2.1
定理12.2.2
定理12.2.3