Definition of "orthocomplemented"

orthocomplemented