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.
• If lattices are complete, we obtain a complete lattice.