アイデアは普遍代数において一般化される：代数A上の合同関係はA上の同値関係でもあり直積A×Aの部分代数でもあるようなA×Aの部分集合である。
想法是推广到泛代数中：代数A上的同余关系是直积A×A的子集，它既是在A上的等价关系又是A×A的子代数。