Lattice

• Lattice #Card
  • An ordered set $(X, \le)$ is a lattice if $\bigvee A$ and $\bigwedge A$ exist for each non-empty finite subset $A \subset X$. - It is a complete lattice if they exist for all non-empty subsets $A \subset X$.

Back

An ordered set $(X, \le)$ is a lattice if $\bigvee A$ and $\bigwedge A$ exist for each non-empty finite subset $A \subset X$.

• It is a complete lattice if they exist for all non-empty subsets $A \subset X$.

Lean

Lattice / CompleteLattice