---
title: "The Completeness Axiom: Suprema and Infima"
description: "The rationals have gaps and the reals do not. Completeness is stated as every bounded set having a least upper bound, and it is the axiom every later theorem in analysis is traced back to."
canonical: https://lightmysky.com/learn/mathematics/the-completeness-axiom-suprema-and-infima-mt_xjI-pIfh95
source: https://lightmysky.com/learn/mathematics/the-completeness-axiom-suprema-and-infima-mt_xjI-pIfh95.md
retrieved: 2026-09-12
---

> **Agent view.** This is the Markdown twin of the page, for tools and assistants.
> When to use this site, and the call that answers each job: https://lightmysky.com/agent-instructions.md
> API description (OpenAPI 3.1): https://lightmysky.com/openapi.json · Authentication: https://lightmysky.com/auth.md
> Pricing: https://lightmysky.com/pricing.md · Catalog: https://lightmysky.com/llms.txt · Full catalog: https://lightmysky.com/llms-full.txt
> Every machine-readable file on this domain: https://lightmysky.com/.well-known/ai-catalog.json
> Ask for Markdown with `Accept: text/markdown`, a `.md` address, or `?mode=agent`.

# The Completeness Axiom: Suprema and Infima

The rationals have gaps and the reals do not. Completeness is stated as every bounded set having a least upper bound, and it is the axiom every later theorem in analysis is traced back to.

Subject: Mathematics · Area: Calculus & Analysis · Ages 20 to 21
Page: https://lightmysky.com/learn/mathematics/the-completeness-axiom-suprema-and-infima-mt_xjI-pIfh95

## Ready when they can

- Find the supremum of a set that has no maximum
- Show that the rationals fail the least-upper-bound property
- Use the supremum in an argument rather than the maximum

## Lesson: Ceilings without a top step

An upper bound sits at or above every member of a set, and the supremum is the least such bound. The set {1 minus 1 over n} climbs forever with no largest term, yet its supremum is 1. The open interval (0, 1) likewise has supremum 1 but no maximum. Mirroring downward, the greatest lower bound is the infimum, so inf {1 over n} is 0.

**Example.** The rationals have gaps the reals do not. The set of rationals q with q squared below 2 is bounded above, but it has no rational least upper bound, because root 2 is missing from the rationals. That failure is exactly what completeness fixes.

The completeness axiom says every nonempty bounded above set of reals has a real supremum. Use the supremum in an argument whenever the maximum may not exist. Bounds come first and N second: to get within 0.001 of the supremum 1, the gap 1 over n below 0.001 needs n 1001 or more, so the smallest whole n is 1001.

**Recap.** The supremum is the least ceiling even when no top step exists, and completeness guarantees the reals always supply one.

## Practice

18 questions on this page, each with its working shown.

## Needs first

- [Sequences and Their Limits](https://lightmysky.com/learn/mathematics/sequences-and-their-limits-mt_PQl3Q6n5dc)

## Opens up

- [Outer Measure and the Construction of Lebesgue Measure](https://lightmysky.com/learn/mathematics/outer-measure-and-the-construction-of-lebesgue-measure-mt_6u5_Um71wE)
- [Metric Spaces: Distance as an Axiom](https://lightmysky.com/learn/mathematics/metric-spaces-distance-as-an-axiom-mt_A3TMb8wL6k)
- [Cauchy Sequences and the Bolzano-Weierstrass Theorem](https://lightmysky.com/learn/mathematics/cauchy-sequences-and-the-bolzano-weierstrass-theorem-mt_nreDylVkSU)
- [Convergence of Sequences, Rigorously](https://lightmysky.com/learn/mathematics/convergence-of-sequences-rigorously-mt_yB5M-DCH8V)