A lattice is an Algebraic structure defined as:
a poset in which every pair of elements posseses a join and a meet |
A unit element in a lattice is an element such that, for all , . A null element in a lattice is an element such that, for all , .
The lattice is complete if a Greatest lower bound and a Least upper bound exist for every subset of (all that is guaranteed by the definition of a lattice is that these bounds will exist for all finite subsets of L). If these exist, they are denoted as , and , respectively.