Existence and Uniqueness
Maximal elements need not exist.
- Example 1: Let, for all we have but (that is, but not ).
- Example 2: Let and recall that .
In general is only a partial order on . If is a maximal element and, it remains the possibility that neither nor . This leaves open the possibility that there are many maximal elements.
- Example 3: In the fence, all the are maximal, and all the are minimal.
- Example 4: Let be a set with at least two elements and let be the subset of the power set consisting of singletons, partially ordered by . This is the discrete poset—no two elements are comparable—and thus every element is maximal (and minimal) and for any neither nor .
Read more about this topic: Maximal Element
Famous quotes containing the words existence and/or uniqueness:
“To call a posit a posit is not to patronize it. A posit can be unavoidable except at the cost of other no less artificial expedients. Everything to which we concede existence is a posit from the standpoint of a description of the theory-building process, and simultaneously real from the standpoint of the theory that is being built.”
—Willard Van Orman Quine (b. 1908)
“Until now when we have started to talk about the uniqueness of America we have almost always ended by comparing ourselves to Europe. Toward her we have felt all the attraction and repulsions of Oedipus.”
—Daniel J. Boorstin (b. 1914)