"B"）。
泛代数.想法是推广到泛代数中：代数"A"上的同余关系是直积"A"×"A"的子集，它既是在"A"上的等价关系又是"A"×"A"的子代数。 同态的核总是同余。实际上，所有同余引起自核。对于给定在"A"上的同余~，等价类的集合"A"/~可以自然的方式给出自代数的结构商代数。映射所有"A"的元素到它的等价类的函数是同态，这个同态的核是~。在一个代数上的所有同余关系的格是代数格。
群的同余、正规子群和理想.在群的特殊情况下，同余关系可以用基本术