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