等价类

$[x{]}_R$ 为 $x$ 在 $R$ 上的等价类, 当且仅当 $\forall x\in A,[x{]}_R=\{y\mid y\in A\wedge xRy\}$

性质

• $\forall x\in A$, $[x]$ 是 $A$ 的非空子集.
• $\forall x,y\in A$, 若 $xRy$, 则 $[x]=[y]$.
• $\forall x,y\in A$, 若 $x/Ry$, 则 $[x],[y]$ 不交.
• $\bigcup \{[x]\mid x\in A\}=A$.