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:
“Partisanship should be kept out of the pulpit.... The blindest of partisans are preachers. All politicians expect and find more candor, fairness, and truth in politicians than in partisan preachers. They are not replied to—no chance to reply to them.... The balance wheel of free institutions is free discussion. The pulpit allows no free discussion.”
—Rutherford Birchard Hayes (1822–1893)
“Oh, if I had been loved at the age of seventeen, what an idiot I would be today. Happiness is like smallpox: if you catch it too soon, it can completely ruin your constitution.”
—Gustave Flaubert (1821–1880)