对于非空集合 A，如果 R 有 自反性 和 传递性 和 反对称，则成 R 是 A 上的偏序关系，简称偏序 ⪯ 把 ⟨a,b⟩∈⪯ 记为 a⪯b （这个符号后面在没有歧义的情况下还是用小于等于代替吧） 序偶 ⟨A,leq⟩ 称为 偏序集 典型的偏序关系是定义在自然数上的小于等于关系 为了简化偏序关系的关系图，把自环都去掉，如果 A≤B 那么大的放在上方，不用箭头了。因为传递性，不用画出中间存在间隔（传递）的边 这样就画出了 哈斯图 涉及到偏序关系的证明，第一步讨论两个元素是否存在偏序关系，再用三个性质来证明