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:
“Punk to me was a form of free speech. It was a moment when suddenly all kinds of strange voices that no reasonable person could ever have expected to hear in public were being heard all over the place.”
—Greil Marcus (b. 1945)
“This was the most completely maritime town that we were ever in. It was merely a good harbor, surrounded by land, dry if not firm,—an inhabited beach, whereon fishermen cured and stored their fish, without any back country.”
—Henry David Thoreau (1817–1862)