证明了：１）ＰＫλ上存在一个半正规，弱选择，但不是λ－生成的理想。２）若Ｉ是一个λ－生成的，Ｋ－完全的，弱选择的理想，则对每一个Ａ∈Ｉ＾＋，都存在Ｂ∈Ｐ（Ａ）∩Ｉ＾＋，使得Ｉ／Ｂ＝ＩＫλ／Ｂ；若ＩＪ 一个......