Skip to main content
2 of 3
edited tags
Bjørn Kjos-Hanssen
  • 24.8k
  • 3
  • 58
  • 114

LUB GLB on a Lexicographically ordered complete lattice product

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.