分清拟序关系和偏序关系

partial order: if $\le$$\le$ is a reflexive, transitive, antisymmetric relation on $S$$S$. 对应于中文的偏序关系。

strict partial orders: a relation < that is irreflexive, asymmetric, and transitive on a set $S$$S$. 应该对应于严格偏序关系。

quasi-order: also sometimes called a preorder, if ⪯ is a reflexive, transitive relation on 𝑆. 对应于中文的拟序关系。

1. 拟序是一个并不太常见的关系。整除关系是一个拟序关系，满足自反性和传递性。但是不满足反对称性，($-n$$-n$)可以整除$n$$n$，$n$$n$可以整除($-n$$-n$)， 但是$n$$n$和($-n$$-n$)不相等，所以整除关系并不是偏序关系。

2. 严格偏序关系是特殊的偏序关系，偏序关系是特殊的拟序关系。