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:
“Reasoning from the common course of nature, and without supposing any new interposition of the Supreme Cause, which ought always to be excluded from philosophy; what is incorruptible must also be ingenerable. The soul, therefore, if immortal, existed before our birth: And if the former existence noways concerned us, neither will the latter.”
—David Hume (1711–1776)
“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)