In mathematics, the infimum (abbreviated inf; pl.: infima) of a subset ${\displaystyle S}$ of a partially ordered set ${\displaystyle P}$ is the greatest element in ${\displaystyle P}$ that is less than or equal to each element of ${\displaystyle S,}$ if such an element exists. If the infimum of ${\displaystyle S}$ exists, it is unique, and if b is a lower bound of ${\displaystyle S}$, then b is less than or equal to the infimum of ${\displaystyle S}$. Consequently, the term greatest lower bound (abbreviated as GLB) is also commonly used. The supremum (abbreviated sup; pl.: suprema) of a subset ${\displaystyle S}$ of a partially ordered set ${\displaystyle P}$ is the least element in ${\displaystyle P}$ that is greater than or equal to each element of ${\displaystyle S,}$ if such an element exists. If the supremum of ${\displaystyle S}$ exists, it is unique, and if b is an upper bound of ${\displaystyle S}$, then the supremum of ${\displaystyle S}$ is less than or equal to b. Consequently, the supremum is also referred to as the least upper bound (or LUB).

The infimum is, in a precise sense, dual to the concept of a supremum. Infima and suprema of real numbers are common special cases that are important in analysis, and especially in Lebesgue integration. However, the general definitions remain valid in the more abstract setting of order theory where arbitrary partially ordered sets are considered.

The concepts of infimum and supremum are close to minimum and maximum, but are more useful in analysis because they better characterize special sets which may have no minimum or maximum. For instance, the set of positive real numbers ${\displaystyle \mathbb {R} ^{+}}$ (not including ${\displaystyle 0}$) does not have a minimum, because any given element of ${\displaystyle \mathbb {R} ^{+}}$ could simply be divided in half resulting in a smaller number that is still in ${\displaystyle \mathbb {R} ^{+}.}$ There is, however, exactly one infimum of the positive real numbers relative to the real numbers: ${\displaystyle 0,}$ which is smaller than all the positive real numbers and greater than any other real number which could be used as a lower bound. An infimum of a set is always and only defined relative to a superset of the set in question. For example, there is no infimum of the positive real numbers inside the positive real numbers (as their own superset), nor any infimum of the positive real numbers inside the complex numbers with positive real part.

A lower bound of a subset ${\displaystyle S}$ of a partially ordered set ${\displaystyle (P,\leq )}$ is an element ${\displaystyle y}$ of ${\displaystyle P}$ such that

A lower bound ${\displaystyle a}$ of ${\displaystyle S}$ is called an infimum (or greatest lower bound, or meet) of ${\displaystyle S}$ if

Similarly, an upper bound of a subset ${\displaystyle S}$ of a partially ordered set ${\displaystyle (P,\leq )}$ is an element ${\displaystyle z}$ of ${\displaystyle P}$ such that

An upper bound ${\displaystyle b}$ of ${\displaystyle S}$ is called a supremum (or least upper bound, or join) of ${\displaystyle S}$ if

We can also define suprema & infima without restricting to sets. For example, there is no set containing all cardinal numbers (and there is no greatest cardinal number), but the axiom of choice implies that every set of cardinal numbers has a least upper bound among cardinal numbers. The axiom of choice is equivalent to the statement that every nonempty set of cardinal numbers has a minimum element (which is also the infimum of the set). The empty set of cardinal numbers has many lower bounds but no greatest lower bound among cardinal numbers.