Partial Order Approach
Let A be a set with a partial order ≤, and let x and y be two elements in A. An element z of A is the meet (or greatest lower bound or infimum) of x and y, if the following two conditions are satisfied:
- z ≤ x and z ≤ y (i.e., z is a lower bound of x and y).
- For any w in A, such that w ≤ x and w ≤ y, we have w ≤ z (i.e., z is greater than or equal to any other lower bound of x and y).
If there is a meet of x and y, then indeed it is unique, since if both z and z′ are greatest lower bounds of x and y, then z ≤ z′ and z′ ≤ z, whence indeed z = z′. If the meet does exist, it is denoted x ∧ y. Some pairs of elements in A may lack a meet, either since they have no lower bound at all, or since none of their lower bounds is greater than all the others. If all pairs of elements have meets, then indeed the meet is a binary operation on A, and it is easy to see that this operation fulfils the following three conditions: For any elements x, y, and z in A,
- a. x ∧ y = y ∧ x (commutativity),
- b. x ∧ (y ∧ z) = (x ∧ y) ∧ z (associativity), and
- c. x ∧ x = x (idempotency).
Read more about this topic: Join And Meet
Famous quotes containing the words partial order, partial, order and/or approach:
“Both the man of science and the man of art live always at the edge of mystery, surrounded by it. Both, as a measure of their creation, have always had to do with the harmonization of what is new with what is familiar, with the balance between novelty and synthesis, with the struggle to make partial order in total chaos.... This cannot be an easy life.”
—J. Robert Oppenheimer (1904–1967)
“We were soon in the smooth water of the Quakish Lake,... and we had our first, but a partial view of Ktaadn, its summit veiled in clouds, like a dark isthmus in that quarter, connecting the heavens with the earth.”
—Henry David Thoreau (1817–1862)
“If we are the younger, we may envy the older. If we are the older, we may feel that the younger is always being indulged. In other words, no matter what position we hold in family order of birth, we can prove beyond a doubt that we’re being gypped.”
—Judith Viorst (20th century)
“The modern world needs people with a complex identity who are intellectually autonomous and prepared to cope with uncertainty; who are able to tolerate ambiguity and not be driven by fear into a rigid, single-solution approach to problems, who are rational, foresightful and who look for facts; who can draw inferences and can control their behavior in the light of foreseen consequences, who are altruistic and enjoy doing for others, and who understand social forces and trends.”
—Robert Havighurst (20th century)