科驴助手

商集

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

数学与计算机科学 · 相关知识