设R是集合A上的一个二元关系
1. 自反性
\[\forall x \in A, xRx.\]2. 对称性
\[\forall x,y \in A, if\;xRy\;then\;yRx.\]3. 反对称性
\[\forall x,y \in A\;and\;x\not ={y}, if\;xRy\;then\;we\;cannot\;have\;yRx.\]4. 传递性
\[\forall x,y,z \in A, if\;xRy\;and\;yRz, then\;xRz.\]5. 完全性
\[\forall x,y \in A, xRy\;or\;yRx.\]6. 偏序和全序关系
偏序关系满足下列特征：
- 自反性
- 反对称性
- 传递性
全序关系满足下列特征
- 反对称性
- 传递性
- 完全性
7. 一个例子
今天看到解释RustOrd和PartialOrdtrait的差异的一个例子：
石头-剪刀-布中，可以认为：石头>剪刀>布>石头，构成了一个循环。这种情况符合PartialOrd，但不符合Ord。