For questions on suprema and infima. Use together with a subject area tag, such as (real-analysis) or (order-theory).

The supremum (plural suprema) of a subset $S$ of a partially ordered set $T$ is the least element of $T$ that is greater than or equal to all elements of $S$. It is usually denoted $\sup S$. The term least upper bound (abbreviated as lub or LUB) is also commonly used.

The infimum (plural infima) of a subset $S$ of a partially ordered set $T$ is the greatest element of $T$ that is less than or equal to all elements of $S$. It is usually denoted $\inf S$. The term greatest lower bound (abbreviated as glb or GLB) is also commonly used.

Suprema and infima of sets of real numbers are common special cases that are especially important in analysis. However, the general definitions remain valid in the more abstract setting of order theory where arbitrary partially ordered sets are considered.

history | excerpt history