嚴格序

關係 在集合 上是嚴格序，如果它滿足：

1. 非自反性：對於任何 ， 中的 a， 都不成立。

2. 反對稱性：如果 ，則 不成立。

3. 傳遞性： 且 蘊含 。

注意，傳遞性和非自反性結合起來意味著如果 成立，則 不成立。

一個嚴格序是全序，如果對於任何 中的 a,b，要麼 ，要麼 ，要麼 。

每個偏序 誘導一個嚴格序

類似地，每個嚴格序 誘導一個偏序