四、截集和分解定理
定义11.5.3
定理11.5.2
定理11.5.3
定理11.5.4
定义11.5.4