ortholattice

== English == === Noun === ortholattice (plural ortholattices) (mathematics) An orthocomplemented lattice.