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