二、幂集合的性质和传递集合 　　定理9.5.5 　　定理9.5.6 　　定理9.5.7 　　定理9.5.8 　　定义9.5.1 　　定理9.5.9 　　定理9.5.10