**LATTICE**

**Infimum:**Infimum is also known as greatest lower bound.

**Supremum:**Spremum is also known as least upper bound.

**LATTICE:**A lattice is a po-set (P, ≤) in which every pair of elements has a supremum and an infimum.

Given a, b ∈ P, we write these bounds as

a Λ b = inf ({a, b})

a V b = sup({a, b})