The AI-powered English dictionary
plural ortholattices
(mathematics) An orthocomplemented lattice. examples