Orthosymmetric ortholattices
Ren� Mayet · Proceedings of the American Mathematical Society · 1992
Orthosymmetric ortholattices, which form an equational class of algebras, approximate ortholattices of closed subspaces of Hilbert spaces, and more generally projection lattices of von Neumann algebras, more closely than orthomodular lattices