定义

等价关系 $:=$

• 自反
• 对称
• 传递

e.g. 相等, 整数集同余

等价类

$$ [a]_{R}=\left{x \in A | \left<a,x\right>\in R\right} $$

比如 $a=1$, $[a]_{R}$ 在某个 $A$ 下可以是 $\left{0.1+0.9, 0.2+0.8, \dots\right}$

商集

$$ A/R=\left{[a]_{R}|a\in A\right} $$

划分

实则顾名思义