Adjective
orthocomplemented (not comparable) (mathematics, of a lattice) Having orthocomplementation.