Sasaki projections on orthocomplemented posets
Peter D. Finch · Bulletin of the Australian Mathematical Society · 1969
It is proved that an orthocomplemented posetPis an orthomodular lattice if and only if it admits a suitable defined set of order preserving maps. These maps are called projections. They are, in fact, Just the projections of the Baer *-semigroup associated with the orthomodular lattice.