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:
“Miracles are like jokes. They relieve our tension suddenly by setting us free from the chain of cause and effect.”
—Gerald Branan (1894–1987)
“In my case, self-absorption is completely justified. I have never discovered any other subject quite so worthy of my attention.”
—Jay Dratler, U.S. screenwriter, Samuel Hoffenstein (1889–1947)