bounded lattice
A lattice is said to be if there is an element such that for all . Dually, is if there exists an element such that for all . A bounded lattice
is one that is both from above and below.
For example, any finite lattice is bounded, as and , being join and meet of finitely many elements, exist. and .
Remarks.Let be a bounded lattice with and as described above.
- •
and for all .
- •
and for all .
- •
As a result, and , if they exist, are necessarily unique. Forif there is another such a pair and , then. Similarly.
- •
is called the bottom of and is called the top of .
- •
is a lattice interval and can be written as .
Remark. More generally, a poset is said to be bounded if it has both a greatest element and a least element .