离散数学 偏序关系 定义 偏序关系 $:=$ 自反 反对称 传递 类偏序关系 严格序关系 $:=$ 反自反 反对称 传递 拟序关系 $:=$ 自反 传递 $\preceq$ 为偏序关系 $A$ 的偏关系 $(A,\preceq)$ 为偏序集 (简记为 $A$) 大小元 极大元 极小元 最大元 最小元