离散数学集合论,书上对划分的定义是在集合上的,作业里又出现了关系产生的划分.请问,关系产生划分怎么理解.

问题描述:

离散数学集合论,书上对划分的定义是在集合上的,作业里又出现了关系产生的划分.请问,关系产生划分怎么理解.

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