良序

良序是数学用语的称呼。定义设集合 (S ,≤) 为一全序集，≤是其偏序关系。对任意 的S 的非空子集都有在其序下有最小元素，则称≤为良序关系，(S ,≤) 为良序集。