Connection Between The Two Definitions
An order-theoretic lattice gives rise to the two binary operations and . Since the commutative, associative and absorption laws can easily be verified for these operations, they make (L, ) into a lattice in the algebraic sense.
The converse is also true. Given an algebraically defined lattice (L, ), one can define a partial order ≤ on L by setting
- a ≤ b if and only if a = ab, or
- a ≤ b if and only if b = ab,
for all elements a and b from L. The laws of absorption ensure that both definitions are equivalent. One can now check that the relation ≤ introduced in this way defines a partial ordering within which binary meets and joins are given through the original operations and .
Since the two definitions of a lattice are equivalent, one may freely invoke aspects of either definition in any way that suits the purpose at hand.
Read more about this topic: Lattice (order)
Famous quotes containing the words connection between, connection and/or definitions:
“Parents have railed against shelters near schools, but no one has made any connection between the crazed consumerism of our kids and their elders’ cold unconcern toward others. Maybe the homeless are not the only ones who need to spend time in these places to thaw out.”
—Anna Quindlen (b. 1952)
“The connection between our knowledge and the abyss of being is still real, and the explication must be not less magnificent.”
—Ralph Waldo Emerson (1803–1882)
“Lord Byron is an exceedingly interesting person, and as such is it not to be regretted that he is a slave to the vilest and most vulgar prejudices, and as mad as the winds?
There have been many definitions of beauty in art. What is it? Beauty is what the untrained eyes consider abominable.”
—Edmond De Goncourt (1822–1896)