Orthogonality relations and orthomodularity
Peter D. Finch · Bulletin of the Australian Mathematical Society · 1970
An abstract orthogonality relation is defined, a closure operation and a corresponding lattice of closed sets are associated with it. Necessary and sufficient conditions are obtained for the orthomodularity of a sub-ortholattice of the lattice of closed sets.