Article
Keywords:
binary relation; relational lattice; distributivity
Summary:
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$.
References:
                        
[4] Gumm H.-P.: 
Geometrical methods in congruence modular algebras. Memoirs of the Amer. Math. Soc. 286 (1983). 
MR 0714648 | 
Zbl 0547.08006