定义在集合上的划分可以确定一个等价关系；反过来,一个等价关系可产生一个唯一的划分.如整数集上 mod2 的同余关系确定一个划分,即所有偶数和所有奇数；反过来,把整数集划分为偶数集合奇数集,即 mod2 的两个同余类,它确定了整数集上的一个等价关系,即整数集上 mod2 的同余关系.