商集的定義是什麼

商集，是集合論的基本概念之一，指由集合和該集合上的等價關係導出的集合。

設X是非空集合A的一個等價關係，若把以A關於X的全部等價類作為元素組成一個新的集合B，則把集合B叫做A關於X的商集合，簡稱為商集。