As I explain in this MO answer, there is a choice of product structures to place on the product of two lattices.
Please click through and read the discussion there. But to summarize, one choice is to form the product order, where you consider pairs $(a,b)$ and the orders are inherited in each coordinate separately. Another choice is to use the lexical order on pairs, but this only results in a lattice when there are certain completeness or linearity assumptions. The lexical product $K\times L$, however, amounts to replacing each node in $K$ with a copy of $L$, and this is often what is desired.
See also this question for a discussion of the completeness issue for the lexical order.
