Orthocomplemented_lattice