Sasaki projections on orthocomplemented posets

Abstract

It is proved that an orthocomplemented poset P is 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.