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