一、定义和概念 Partial Order，又称偏序关系，是一种在集合上定义的二元关系。在一个集合S上，偏序关系定义为一个从S x S到布尔值的函数R，它满足自反性、反对称性和传递…