等价关系

若 $a$, $b$ 具有等价关系 (记作 $a \sim b$), 则需满足:

• 自反性: 对任意 $x$, 总有 $x \sim x$
• 对称性: $a \sim b \iff b \sim a$
• 传递性: $a \sim b, b \sim c \iff a \sim c$