拟序关系

对于非空集合 A，如果 R 有 反自反性 和 传递性，则成 R 是 A 上的拟序关系，简称拟序

可以证明，R 是 反对称 的：反对称用两次加上传递性一定能够出现自反的性质，这个和反自反矛盾了

$$\prec$$

把 $⟨a,b⟩\in \prec$ 记为 $a\prec b$

就是规定了二元关系上的左边比右边小

想到了在 cpp STL 里面比较器也是默认以小于号来比较的

序偶 $⟨A,\prec ⟩$ 称为 拟序集