Note on orthocomplemented posets II.
Jürgen Flachsmeyer · Czech digital mathematics library · 1982
Orthocomplemented posets are partially ordered sets with an antitone involution -the orthocomplementation. Por some posets is up to an isomorphism only one orthocomplementation.We give an example of a finite lattice with two non-isomorphic orthocomplementations.The ortho-double is introduced and the orthoposets of order £10 are classified.