maximal element
Let be an ordering on a set , and let . Then, with respect to the ordering ,
- •
is the least element of if , for all .
- •
is a minimal
element of if there exists no such that and .
- •
is the greatest element of if for all .
- •
is a maximal element of if there exists no such that and .
Examples.
- •
The natural numbers
ordered by divisibility () have a least element, . The natural numbers greater than 1 () have no least element, but infinitely many minimal elements (the primes.) In neither case is there a greatest or maximal element.
- •
The negative integers ordered by the standard definition of have a maximal element which is also the greatest element, . They have no minimal or least element.
- •
The natural numbers ordered by the standard have a least element, , which is also a minimal element. They have no greatest or maximal element.
- •
The rationals greater than zero with the standard ordering have no least element or minimal element, and no maximal or greatest element.