在数学中，给定一个集合A和在A上的一个等价关系R，则A中的一个元素a的等价类是在A中等价于a的所有元素的子集:[a]={x∈A|xRa}。等价类的概念有助于从已经构造了的集合构造集合。在A中的给定等价关系R的所有等价类的集合表示为A/R并叫做A除以R的商集。这种运算可以(实际上非常不正式的)被认为是输入集合除以等价关系的活动，所以名字“商”和这种记法都是模仿的除法。商集类似于除法的一个方面是如果A是有限的并且等价类都是等势的，则A/R的序是A的序除以一个等价类的序的商。商集要被认为是带有所有等价点都识别出来的集合A。 http://zh.wikipedia.org/zh-cn/%E5%95%8...