Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
I am trying to define the LUB and GLB on a product of lattices that are partially ordered lexicographically.
Is there any papers or help that I could read up on? I would particularly like proofs on those operators.
