
doi: 10.1007/bf01190782
Let \({\mathcal C}(X)\) be the \(\perp\)-closed subsets of a set \(X\) with a binary relation \(\perp\) which is irreflexive, symmetric and satisfies \(x^{\perp\perp}=\{x\}\). For \(A,B\in{\mathcal C}(X)\) the relation \(A\theta B\) holds iff \([A\cap B,\;A\vee B]\) is of finite height. It is shown that \(\theta\) is a congruence relation and \({\mathcal C}(X)/\theta=L\) is an orthomodular lattice. It is not 4-orthodistributive, has not the path property, is not locally finite, not modular, but is simple. The set of commutators is a full subalgebra of \(L\). \(L\) is not in one of the typical classes of orthomodular lattices.
Complemented lattices, orthocomplemented lattices and posets, orthogonality relation, commutators, orthomodular lattice, congruence relation
Complemented lattices, orthocomplemented lattices and posets, orthogonality relation, commutators, orthomodular lattice, congruence relation
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 3 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
