在数学中，假设在一个集合formula_1上定义一个等价关系（用formula_2来表示），则formula_1中的某个元素formula_4的等价类就是在formula_1中等价于formula_4的所有元素所形成的子集:等价类的概念有助于从已经构造了的集合构造新集合。在formula_1中的给定等价关系formula_2的所有等价类的集合表示为formula_10并叫做formula_1除以formula_12的商集。这种运算可以（实际上非常不正式的）被认为是输入集合除以等价关系的活动，所以名字“商