定义：设集合 (S ,≤) 为一全序集，≤是其偏序关系，对任意 的S 的非空子集都有在其序下有最小元素，则称≤为良序关系，(S ,≤) 为良序集。
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。