合同關係格

合同關係格 ^[1]  (congruence lattice)一類特殊的格.設GGl=(A,F＞是一個泛代數，}'(0Gl)表示2l的所有合同關係構成的集合.若對任意BBzE)])稱，規定B,鎮Bz C}對任意二，yEA，當x=(0:時，有二三y(92＞，則（留（哪），鎮）是一個完備格.為合同關係格.利用合同關係格的性質研究泛代數的結構，對泛代數進行分類研究.