等价关系 ↔ 划分 · 双向诱导 （mod 3）

💡 物以类聚：互相认识的抱成团，全班正好分成几个圈子——圈子就是等价类。（例：A = {0,1,…,8} 上的"模 3 同余"）

等价关系 R
自反 · 对称 · 传递 ⟷ 划分 π
非空 · 两两不交 · 盖满 A
结点按余数染成一类 对称相关 x ~ y 自反 x ~ x（自环） 等价类 / 划分块