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