Greatest element and least element

In mathematics, especially in order theory, the greatest element of a subset

of a partially ordered set (poset) is an element of

and if it also satisfies: By switching the side of the relation that

Greatest elements are closely related to upper bounds.

Importantly, an upper bound of

which is completely identical to the definition of a greatest element given before.

to simultaneously not have a greatest element and for there to exist some upper bound of

Even if a set has some upper bounds, it need not have a greatest element, as shown by the example of the negative real numbers.

This example also demonstrates that the existence of a least upper bound (the number 0 in this case) does not imply the existence of a greatest element either.

is a partially ordered set then

is defined to mean a maximal element of the subset

Like upper bounds and maximal elements, greatest elements may fail to exist.

In a totally ordered set the maximal element and the greatest element coincide; and it is also called maximum; in the case of function values it is also called the absolute maximum, to avoid confusion with a local maximum.

Similar conclusions hold for least elements.

One of the most important differences between a greatest element

Because preorders are reflexive (which means that

In general, however, preordered sets (and even directed partially ordered sets) may have elements that are incomparable.

This is because unlike the definition of "greatest element", the definition of "maximal element" includes an important if statement.

is a set containing at least two (distinct) elements and define a partial order

holds, which shows that all pairs of distinct (i.e. non-equal) elements in

[note 1] In contrast, if a preordered set

is also partially ordered then it is possible to conclude that

However, the uniqueness conclusion is no longer guaranteed if the preordered set

is a non-empty set and define a preorder

The directed preordered set

has multiple distinct greatest elements.

The least and greatest element 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 notation of 0 and 1 is used preferably when the poset is a complemented lattice, and when no confusion is likely, i.e. when one is not talking about partial orders of numbers that already contain elements 0 and 1 different from bottom and top.

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.

Hasse diagram of the set of divisors of 60, partially ordered by the relation " divides ". The red subset has one greatest element, viz. 30, and one least element, viz. 1. These elements are also maximal and minimal elements , respectively, of the red subset.
In the above divisibility order, the red subset has two maximal elements, viz. 3 and 4, none of which is greatest. It has one minimal element, viz. 1, which is also its least element.
Hasse diagram of example 2