Definition. A lattice
is said to be complete if (i)
every subset
of
has a least upper bound (denoted
) and (ii) every subset of
has a greatest lower bound
(denoted
).
Observation 1. A complete lattice has top and bottom elements,
namely
and
.
Observation 2. If (i) holds, then
already satisfies (ii).