偏序集合

集合论的一个重要的概念。对于一集合S而言，如果有一个偏序关系R使得RS×S，S=fldR，则称S为一偏序集合，并且常常把这一偏序集合记做〈S，R〉，为了醒目，也记做〈S，≤〉。(参见偏序关系)

偏序集合中有一类叫做良偏序集合，在理论上和应用上都很重要，假定〈S，R〉为一偏序集合，并且对于任一集合SS，都有一元素a∈S使得对于任意的x∈S，若x≠a，则有〈x，a〉R，这时称a为S的极小元，称S为一良偏序集合，也称R为一良基关系。

有许多重要的概念、理论都是建立在偏序集合上的，例如，布尔代数、布尔值模型、力迫方法等。