Modular pairs in orthomodular lattices
Erik A. Schreiner · Pacific Journal of Mathematics · 1966
Call an orthomodular lattice L ikf-symmetric if M(e,f) implies M(f,e) for all e,feL and O-symmetric if M(e,f) implies M(f; , e r ).To check for these properties it is sufficient to consider only those modular pairs in which the two elements are complements.Every O-symmetric lattice is M-symmetric.In an atomic orthomodular lattice, ikf-symmetry is equivalent to the atomic exchange property.