良序的判断主要基于以下定义和性质：良序关系的定义设集合 \（ S \） 和其上的偏序关系 \（ \leq \） 构成一个全序集。若 \（ S \） 的任意非空子集都存在一个最小元素，则称这个偏序关系 \（ \leq \） 为良序关系，并称 \（ （S, \leq） \） 为良序集。有限全序集与良序集