商集是集合論中的一個基本概念，它是由一個集合和該集合上的一個等價關係導出的集合。
商集的符號通常表示為A/~，這表明商集的構成與原始集合A以及定義的等價關係~有關。商集的每個元素都是一個等價類，即所有與集合A中某個元素等價的元素的集合。重要的是要理解，不是集合A中的每個元素都必須有一個等價類；商集只包含那些在原始集合中確實存在的等價類。商集的概念在數學的多個分支中都有套用，特別是在抽象代數中，如群論和環論，其中等價關係和相應的商集扮演著核心角色。商集不僅是一個集合，而是一個集類，其元素是原始集合中元素的等價類。