if both and are totally ordered. However the product order of two total orders is not in general total; for example, the pairs and are incomparable in the product order of the order with itself. The lexicographic combination of two total orders is a linear extension of their product order, and thus the product order is a subrelation of the lexicographic order.

The Cartesian product with the product order is the categorical product