ortholattice

Noun

 * 1)  An orthocomplemented lattice.