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.
LUB GLB on a Lexicographically ordered complete lattice product
GrahamJenson
- 71
- 6