离散数学怎么理解每个分块都是等价类以及证明

发布时间：2025-10-15 | 来源：互联网转载和整理

***或类(以***为例)上的等价关系R指一个具有自反,对称,传递性的二元关系,在一个定义了等价关系的***中可以按该等价关系分成等价类(即两个元素只要有xRy,则它们属于同一等价类),即***的一些子集组成的集,容易证明这些子集两两不交且其并等于原***.一个应用:在全体***的真类V上定义一等价关系R,若两个***x,y间存在一一映射,则xRy.按该等价关系分成等价类,再用类上的选择公理从每个等价类中取出一个代表元素.即基于AC的***的势的定义.