集合论的一个重要概念，一种特殊的关系。假定R是一线序关系(参见线序关系)，并且对于R的域S(即S=fldR)上的任一非空子集合S，S都有R极小元，即有一元素a∈S使得对于中任一元x，若x≠a，则R(x，a)不成立。这时，我们就称关系R为良序的。