[数]?半序集

...则x z  (传递性 (Transitivity)) 则称关系 为集X 中的一个顺序 (order)，集X 为关于顺序 的半序集 (partially ordered set). 注1 x y  也记为y x  .

[数]?偏序集

我们说R是一个偏序关系(partial ordering)，记作≤; A称为一个偏序集(partially ordered set), 记作(A, ≤). 设(A, ≤) 是一个偏序集.