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:
“Here we have bishops, priests, and deacons, a Censorship Board, vigilant librarians, confraternities and sodalities, Duce Maria, Legions of Mary, Knights of this Christian order and Knights of that one, all surrounding the sinner’s free will in an embattled circle.”
—Sean O’Casey (1884–1964)
“But before the extremity of the Cape had completely sunk, it appeared like a filmy sliver of land lying flat on the ocean, and later still a mere reflection of a sand-bar on the haze above. Its name suggests a homely truth, but it would be more poetic if it described the impression which it makes on the beholder.”
—Henry David Thoreau (1817–1862)