English edit

Noun edit

ortholattice (plural ortholattices)

  1. (mathematics) An orthocomplemented lattice.