Free Completely Distributive Lattices
Every poset C can be completed in a completely distributive lattice.
A completely distributive lattice L is called the free completely distributive lattice over a poset C if and only if there is an order embedding such that for every completely distributive lattice M and monotonic function, there is a unique complete homomorphism satisfying . For every poset C, the free completely distributive lattice over a poset C exists and is unique up to isomorphism.
This is an instance of the concept of free object. Since a set X can be considered as a poset with the discrete order, the above result guarantees the existence of the free completely distributive lattice over the set X.
Read more about this topic: Completely Distributive Lattice
Famous quotes containing the words free and/or completely:
“Bigotry is the disease of ignorance, of morbid minds; enthusiasm of the free and buoyant. Education and free discussion are the antidotes of both.”
—Thomas Jefferson (1743–1826)
“Writing prejudicial, off-putting reviews is a precise exercise in applied black magic. The reviewer can draw free- floating disagreeable associations to a book by implying that the book is completely unimportant without saying exactly why, and carefully avoiding any clear images that could capture the reader’s full attention.”
—William Burroughs (b. 1914)