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:
“This leads us to note down in our psychological chart of the mass-man of today two fundamental traits: the free expansion of his vital desires, and, therefore, of his personality; and his radical ingratitude towards all that has made possible the ease of his existence. These traits together make up the well-known psychology of the spoilt child.”
—José Ortega Y Gasset (1883–1955)
“One year, I’d completely lost my bearings trying to follow potty training instruction from a psychiatric expert. I was stuck on step on, which stated without an atom of irony: “Before you begin, remove all stubbornness from the child.” . . . I knew it only could have been written by someone whose suit coat was still spotless at the end of the day, not someone who had any hands-on experience with an actual two-year-old.”
—Mary Kay Blakely (20th century)