Category:Conditions for Lexicographic Order on Pair of Ordered Sets to be Lattice