Wiktionary
orthocomplemented
a. (context mathematics of a lattice English) Having orthocomplementation.