Let a' , b' be elements of the carrier of L . Let a' , b' be elements of the carrier of L . Then b a . L is upper-bounded. L is lower-bounded.
L is a distributive lattice.
In the sequel L denotes a lower bound lattice, f , g denote functions from A into the carrier of L , and u denotes an element of the carrier of L . The join operation of L has a unity. In the sequel L denotes an upper bound lattice, f , g denote functions from A into the carrier of L , and u denotes an element of the carrier of L . The meet operation of L has a unity. A distributive lower bounded lattice is a distributive lower-bounded lattice.