严格序

关系 在集合 上是严格序，如果它满足：

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

2. 反对称性：如果 ，则 不成立。

3. 传递性： 且 蕴含 。

注意，传递性和非自反性结合起来意味着如果 成立，则 不成立。

一个严格序是全序，如果对于任何 中的 a,b，要么 ，要么 ，要么 。

每个偏序 诱导一个严格序

类似地，每个严格序 诱导一个偏序