反偏序。
严格偏序，反自反偏序.给定集合S，“＜”是S上的二元关系，若“＜”满足：则称“＜”是S上的严格偏序或反自反偏序。严格偏序与有向无环图（dag）有直接的对应关系。一个集合上的严格偏序的关系图就是一个有向无环图。其传递闭包是它自己。
偏序.容易证明以下结论：由上述可知，只要定义了「≤」、「<」、「≥」、「>」中的任何一个，其余三个关系的定义可以自然诱导而出，这四种关系实际上可以看成一体。故此在不严格区分的情况下，只需定义其一即可（通常是「≤