相容關係

在泛代數和格理論中 ， 相容關係  是指被代數結構的每個運算所保持的自反對稱關係 。 是同餘關係去掉傳遞性的要求而得到的概念 。 具體內容參考 ： 左孝凌離散數學 ， 石純一數理邏輯與集合論 ， 對 “ 相容關係與覆蓋 ” 的再認識 。 注意 ， 左孝凌和再認識一文對完全覆蓋的定義是不同的 ， 左文定義的完全覆蓋和相容關係是一一對應的 ， 而再認識一文定義的完全覆蓋和相容關係不是一一對應的 。