定义 等价关系

自然语言

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