商集，是集合论的基本概念之一，指由集合和该集合上的等价关系导出的集合。
设X是非空集合A的一个等价关系，若把以A关于X的全部等价类作为元素组成一个新的集合B，则把集合B叫做A关于X的商集合，简称为商集。
