合同关系格

（数学术语）

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