Lattices of compatible relations satisfying a set of formulas (Q1966150)

The aim of the paper is to give a general approach for studying lattices of compatible relations of a given algebra \(\mathcal A\) such as congruences, tolerances, quasiorders etc. More precisely, if \(\Sigma =\{(\sigma _i, \sigma '_i)\); \(i\in I\}\), where \(I\) is an index set and for each \(i\in I\) both \(\sigma _i,\sigma '_i\) are relations on the same set \(V_i\), and \(\mathcal A=(A,F)\) is a nontrivial algebra, let \(R^{\mathcal A}_{\Sigma }\) (briefly \(R\)) be the set of all \(\mathcal A\)-compatible relations \(\rho \) such that for all \(i\in I\) Hom\((\sigma _i,\rho) \subseteq \text{Hom}(\sigma '_i,\rho)\). For concrete sets \(I, V_i, \sigma _i, \sigma '_i\) concrete lattices of compatible relations are given. The authors show, e.g., that if \(|\sigma _i |< \aleph _0\) for all \(i\in I\), then the corresponding lattice \((R,\subseteq)\) is algebraic, or they give sufficient conditions for its modularity or distributivity.