Definition: A product of partial orders with some index set.

Lemma: (For product of two).

• The result is a partial order.
• If we start with lattices, we obtain a lattice.

Note: if lattice is finite and has top and bottom, then, it is complete.