a_20。这个映射总是满射的。在formula_1有某种额外结构的情况下，考虑保持这个结构的等价关系，接着称这个结构是良好定义的，而商集在自然方式下继承了这个结构而成为同一个范畴的对象；从formula_4到formula_23的映射则是在这个范畴内的满态射。参见同余关系。
性质.因为等价关系的formula_4在formula_23中和任何两个等价类要么相等要么不相交的性质。得出X的所有等价类的集合形成formula_1的划分：所有formula_1的元素属于一且唯一的等价类。