The usual order to put on the product of two lattices is the product order, rather than the lexical order.  

 - Product order: (a,b) ≤ (c,d)    if and only if     a ≤ c and b ≤ d
 - Lexical order: (a,b) ≤ (c,d)     if and only if     a ≤ c, or a = c and b ≤ d

With the product order, one should simply take lub or glb separately in each coordinate, and it is not difficult to see that this is a latice order. 

If one uses the lexical order, however, then the product of two lattices may not be a lattice at all.

To see this, suppose that L and K are lattices, such that L is not a linear order and K has no least element. In this case, the lexical order on L x K is not a lattice order. Let a and b be elements of L that are incomparable, and let c be any element of L. I claim that (a,c) and (b,c) have no least upper bound in the lexical order. To see this, suppose that (x,y) is the least upper bound of (a,c) and (b,c). It must be that a and b are both ≤ x, and so lub(a,b) ≤ x. Since a and b are incomparable, they are both strictly less than lub(a,b). Thus, any element of the form (lub(a,b),y) is an upper bound. But there is no least such element, since L has no least element. 

However, if the lattices are complete, then the lexical order is a lattice order. In this case, the lub((a,b),(a',b')) = (c,d), where c = lub(a,a') and d is least such that (c,d) is an upper bound of (a,b) and (a',b'). A similar idea works for glb. Also, one can show that the product lattice in the lexical order is also complete, for is X is any subset of the product, then lub(X) will be (c,d), where c is the lub of the first coordinates of the pairs in X, and d is chosen again to be least such that (c,d) is an upper bound.

In fact, if we are careful in the argument, we don't need completeness, but only boundedness (meaning that L has a least and greatest element). We didn't use any extra fact about K and for L all we need is that it has a minimal and maximal element; one needs to argue separate cases depending on whether the first coordinates a and a' are comparable or not. This appears to establish:

<b>Theorem</b>. Suppose that K and L are lattices. 

 - If L is bounded, then K x L is a lattice under the lexical order.
 - If K is linearly ordered, then K x L is a lattice under the lexical order.
 - In all other cases, K x L is not a lattice under the lexical order.