LARA

Products of Lattices

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.