In mathematics, given a subset S of a partially ordered set T, the supremum (sup) of S, if it exists, is the least element of T that is greater than or equal to each element of S. Consequently, the supremum is also referred to as the least upper bound, lub or LUB. If the supremum exists, it may or may not belong to S. If the supremum exists, it is unique.
Suprema are often considered for subsets of real numbers, rational numbers, or any other wel...
more
In mathematics, given a subset S of a partially ordered set T, the supremum (sup) of S, if it exists, is the least element of T that is greater than or equal to each element of S. Consequently, the supremum is also referred to as the least upper bound, lub or LUB. If the supremum exists, it may or may not belong to S. If the supremum exists, it is unique.
Suprema are often considered for subsets of real numbers, rational numbers, or any other well-known mathematical structure for which it is immediately clear what it means for an element to be "greater-than-or-equal-to" another element. The definition generalizes easily to the more abstract setting of order theory, where one considers arbitrary partially ordered sets.
The concept of supremum is not the same as the concepts of minimal upper bound, maximal element, or greatest element.
In analysis, the supremum or least upper bound of a set S of real numbers is denoted by sup(S) and is defined to be the smallest real number that is...
less