Directed Sets
In a totally ordered set, the terms maximal element and greatest element coincide, which is why both terms are used interchangeably in fields like analysis where only total orders are considered. This observation does not only apply to totally ordered subsets of any poset, but also to their order theoretic generalization via directed sets. In a directed set, every pair of elements (particularly pairs of incomparable elements) has a common upper bound within the set. It is easy to see that any maximal element of such a subset will be unique (unlike in a poset). Furthermore, this unique maximal element will also be the greatest element.
Similar conclusions are true for minimal elements.
Further introductory information is found in the article on order theory.
Read more about this topic: Maximal Element
Famous quotes containing the words directed and/or sets:
“[W]hat I mean by love ... is this. A sympathetic liking—excited by fancy, directed by judgment—and to which is joined also a most sincere desire of the good and happiness of its object.”
—Sarah Fielding (1710–1768)
“To me this world is all one continued vision of fancy or imagination, and I feel flattered when I am told so. What is it sets Homer, Virgil and Milton in so high a rank of art? Why is Bible more entertaining and instructive than any other book? Is it not because they are addressed to the imagination, which is spiritual sensation, and but mediately to the understanding or reason?”
—William Blake (1757–1827)