良序关系

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