商集是什麼

集合論中的一個基本概念

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

等價關係是指集合中某些元素之間的特定關係，認為這些元素是相互等價的，將這些等價的元素歸併成一個新的集合，即等價類，商集是由這些等價類構成的集合。商集的符號通常表示為A/~，其中A是原始集合，~是定義在A上的等價關係，這意味著商集的存在依賴於原始集合和等價關係。商集的概念在數學的多個分支中都有套用，如抽象代數、集合論和數學邏輯等。