商集数学与计算机科学42 阅读R是A上的[等价关系],由关于R的所有不同的[等价类]作为元素组成的集合称为A关于R的[商集],记作A/R 本质上说,集合A关于等价干系R的商集A/R是A上的一个[划分],等价类就是[块]。即商集A/R中,全部元素相并就等于集合A,任意两个元素相交都为空集。