binary relation; relational lattice; distributivity
We present a formal scheme which whenever satisfied by relations of a given relational lattice $L$ containing only reflexive and transitive relations ensures distributivity of $L$.
 Gumm H.-P.: Geometrical methods in congruence modular algebras
. Memoirs of the Amer. Math. Soc. 286 (1983). MR 0714648
| Zbl 0547.08006