a_12的商集。这种运算可以（实际上非常不正式的）被认为是输入集合除以等价关系的活动，所以名字“商”和这种记法都是模仿的除法。商集类似于除法的一个方面是，如果formula_1是有限的并且等价类都是等势的，则formula_10的序是formula_1的序除以一个等价类的序的商。商集被认为是带有所有等价点都识别出来的集合formula_1。对于任何等价关系，都有从formula_1到formula_10的一个规范投影映射formula_19，给出为formula_20。这个映射总是满射的。在formul