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:
“There the wicked cease from troubling, and there the weary are at rest. There the prisoners are at ease together; they do not hear the voice of the taskmaster. The small and the great are there, and the slaves are free from their masters.”
—Bible: Hebrew, Job 3:17-19.
“My mom says I’m her sugarplum.
My mom says I’m her lamb.
My mom says I’m completely perfect
Just the way I am.
My mom says I’m a super-special wonderful terrific little guy.
My mom just had another baby.
Why?”
—Judith Viorst (20th century)