极良集

本文提出极良集等概念,並证明它们的一些基本性质。定义1 设a_1是全序集A的首元(最小元),a ∈A,若A的截段A_a={a ∈A:a≤a}为可数集,则称a是A的一个可数元,a_1也称为A的可数元。若A_1是非可数集,则称b是A的一个非可数元。