orthocomplemented lattice