***或类(以***为例)上的等价关系R指一个具有自反,对称,传递性的二元关系,在一个定义了等价关系的***中可以按该等价关系分成等价类(即两个元素只要有xRy,则它们属于同一等价类),即***......