合同关系格(congruence lattice)一类特殊的格.设GGl=(A,F＞是一个泛代数，}'(0Gl)表示2l的所有合同关系构成的集合.若对任意BBzE)])称，规定B,镇Bz C}对任意二，yEA，当x=(0:时，有二三y(92＞，则（留（哪），镇）是一个完备格.为合同关系格.利用合同关系格的性质研究泛代数的结构，对泛代数进行分类研究.