_4到formula_23的映射则是在这个范畴内的满态射。参见同余关系。
性质.因为等价关系的formula_4在formula_23中和任何两个等价类要么相等要么不相交的性质。得出X的所有等价类的集合形成formula_1的划分：所有formula_1的元素属于一且唯一的等价类。反过来，formula_1的所有划分也定义了在formula_1上等价关系。它还得出等价关系的性质如果formula_12是在formula_1上的等价关系，而formula_71是formul