良序集合

集合论的一个重要概念。一线序(或称全序)集合S的每一不空子集合都有关于它在这一序关系下的极小元，就称集合S为良序的。换言之，一集合S上有一良序关系R，即RS×S，S=fldR，我们就称S为一良序集合(参见良序关系，良序定理)。