Orthocomplemented lattice