English

edit

Noun

edit

ortholattice (plural ortholattices)

  1. (mathematics) An orthocomplemented lattice.