大学离散数学集

集合或类(以集合为例)上的等价关系R是指自反的、对称的、传递的二元关系，在定义等价关系的集合中可以划分为等价类(即两个元素只要有xRy就属于同一个等价类)，即由集合的某些子集组成的集合。很容易证明这些子集是成对不相交的，并且它们的和等于原集合。一个应用:在所有集合的真类V上定义一个等价关系R。如果两个集合X和Y之间存在一一对应的关系，xRy根据这种等价关系划分为等价类，然后利用类上的选择公理从每个等价类中提取一个代表元素，即基于AC的集合的势的定义。