Completeness, Suprema and Infima
≈ 25 minLet be non-empty. A number is an upper bound of if for all . The supremum is the least upper bound: the smallest number that is still every element. Dually, is the greatest lower bound.
The defining property of the real numbers — the Completeness Axiom — is that every non-empty set of reals that is bounded above has a supremum in . This is exactly what the rationals lack, and it is the foundation on which limits, continuity and integration are built.
Worked example. Let .
Every term is less than , and the terms climb toward without ever reaching it, so (a least upper bound that is not attained). The smallest term is , which is in , so (attained — it is also the minimum). "Attained" and "is the sup/inf" are separate questions.

