orthocomplemented

Adjective

 * 1)  Having orthocomplementation.