定义 偏序集

自然语言

给定非空集合 $X$ ，定义其上的二元关系 $R$ 满足以下三条性质
（1）（自反性） $\forall x \in X , x R x$
（2）（反对称性） $\forall x,y \in X , (x R y) \wedge (y R x) \iff x = y$
（3）（传递性） $\forall x,y,z \in X , (x R y) \wedge (y R z) \implies x R z$
即二元关系 $R$ 为集合 $X$ 上的偏序关系
赋予偏序关系的集合称为偏序集