Let ##\mathscr{L_H}## be the usual lattice of subspaces of Hilbert space ##\mathscr{H}##, where for ##p,q\in\mathscr{H}## we write ##p\leq q## iff ##p## is a subspace of ##q##. Then, as discussed by, e.g., Beltrametti&Cassinelli https://books.google.com/books?id=yWoq_MRKAgcC&pg=PA98, this...