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.
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.