FACTOID # 13: New York has America's lowest percentage of residents who are veterans.

 Home Encyclopedia Statistics States A-Z Flags Maps FAQ About

 WHAT'S NEW

SEARCH ALL

Search encyclopedia, statistics and forums:

(* = Graphable)

Encyclopedia > Greatest element

In mathematics, especially in order theory, the greatest element of a subset S of a partially ordered set is an element of S which is greater than or equal to any other element of S. The term least element is defined dually.

Formally, given a partially ordered set (P, ≤), then an element g of a subset S of P is the greatest element of S if

sg, for all elements s of S.

Hence, the greatest element of S is an upper bound of S that is contained within this subset. It is necessarily unique. By using ≥ instead of ≤ in the above definition, one defines the least element of S.

Like upper bounds, greatest elements may fail to exist. Even if a set has some upper bounds, it need not have a greatest element, as the example of the real numbers strictly smaller than 1 shows. This also demonstrates that the existence of a least upper bound (the number 1 in this case) does not imply the existence of a greatest element either. Similar conclusions hold for least elements.

Greatest elements of a partially ordered subset must not be confused with maximal elements of such a set. The difference is discussed in the article on maximal elements. However, in some special cases, such as when dealing with totally ordered sets, both terms do indeed coincide.

The least and greatest elements of the whole partially ordered set play a special role and are also called bottom and top or zero (0) and unit (1), respectively. The later notation of 0 and 1 is only used when no confusion is likely, i.e. when one is not talking about partial orders of numbers that already contain elements 0 and 1. The existence of least and greatest elements is a special completeness property of a partial order.

Further introductory information is found in the article on order theory.

Results from FactBites:

 PlanetMath: maximal element (111 words) ) have no least element, but infinitely many minimal elements (the primes.) In neither case is there a greatest or maximal element. have no least element or minimal element, and no maximal or greatest element. This is version 6 of maximal element, born on 2002-03-02, modified 2006-10-28.
 Greatest element - Wikipedia, the free encyclopedia (345 words) Greatest elements of a partially ordered subset must not be confused with maximal elements of such a set. The least and greatest elements of the whole partially ordered set play a special role and are also called bottom and top or zero (0) and unit (1), respectively. The existence of least and greatest elements is a special completeness property of a partial order.
More results at FactBites »

Share your thoughts, questions and commentary here