At first read, "bounded" and "has a maximum" sound like almost the same thing. Both involve a ceiling. Both feel like ways of saying the set does not run off to infinity. Many students, pressed for a quick answer, say "a set is bounded if it has a maximum." That sentence is wrong, and the wrongness is not a small technicality — it is the entire point of why the real numbers were built the way they were.

This page explains the difference with one canonical example, one counter-pair, and a diagram. Once you see it, you will not confuse the two again.

The two definitions side by side

A set S \subseteq \mathbb{R} is bounded above if there exists some real number M such that x \le M for every x \in S. That number M is called an upper bound. The definition asks only that some such M exists somewhere in \mathbb{R} — it does not have to be in S.

A set S has a maximum if there exists an element m \in S such that x \le m for every x \in S. The maximum, when it exists, is written \max S. The definition requires m to be a member of the set.

Read those two sentences again, slowly, with the membership condition highlighted. Bounded says "there exists an M in \mathbb{R}." Maximum says "there exists an m in S." That three-letter swap — \mathbb{R} to S — is the whole distinction.

The canonical example — the open interval (0, 1)

Consider S = (0, 1), the set of real numbers strictly between 0 and 1.

Bounded? Yes. The number 1 is an upper bound: every element of (0, 1) is strictly less than 1. So is 2, and 7, and 10^6. Any number \ge 1 works as an upper bound. The existence of at least one such number is all "bounded" asks for.

Has a maximum? No. To have a maximum you need an element of the set that is \ge every other element. But the set (0, 1) does not contain 1 (that is what the round bracket means). And for any x \in (0, 1) you propose as a candidate maximum, the number

\frac{x + 1}{2}

is strictly larger than x and is also in (0, 1). (It sits halfway between x and 1.) So your candidate is not actually the largest. Whatever you pick, something in the set beats it.

This is the single example that makes the distinction irreversible in your head. (0, 1) is bounded — because 1 is an upper bound — but has no maximum — because 1 \notin (0, 1), and nothing smaller will do.

The companion concept — the supremum

If (0, 1) has no maximum, what does it have? It has a supremum, abbreviated \sup: the least upper bound. For (0, 1), that least upper bound is exactly 1.

The supremum is the compromise that rescues the situation. A maximum has to live inside the set; a supremum only has to be the smallest possible upper bound in \mathbb{R}, regardless of membership. Every set that is bounded above has a supremum in \mathbb{R} — this is the least upper bound property, the completeness axiom. Not every bounded set has a maximum.

So the three concepts layer like this:

Every maximum is a supremum. Every supremum is an upper bound. None of the reverse implications hold in general.

For a more tactile feel of this, drag the interval in Supremum on a Leash and watch the supremum track the right endpoint whether or not the endpoint belongs to the set.

The diagram

Three sets: open interval (0,1), closed interval [0,1], and ℕ Three horizontal number-line snippets stacked vertically. The top line shows the open interval (0, 1) with hollow dots at 0 and 1 and a thick line between; labels indicate it is bounded and has a supremum of 1 but no maximum. The middle line shows the closed interval [0, 1] with filled dots at 0 and 1 and a thick line between; labels indicate it is bounded and has max = 1. The bottom line shows the natural numbers as a dotted sequence extending off the right of the diagram with an arrow; labels indicate it is unbounded. (0, 1) — bounded, sup = 1, no max 0 1 sup = 1 (not in set) [0, 1] — bounded, sup = max = 1 0 1 max = 1 (in set) ℕ = {1, 2, 3, …} — unbounded, no sup, no max 1 2 3 4 5 6 …
Top: $(0, 1)$ is bounded, has supremum $1$, but no maximum — the hollow dot at $1$ says "not in the set." Middle: $[0, 1]$ is bounded, and $1$ is both supremum and maximum — the filled dot at $1$ says "in the set." Bottom: $\mathbb{N}$ is not bounded above at all — no matter what ceiling $M$ you pick, some natural number exceeds it.

The sibling example — the closed interval [0, 1]

Now compare with S = [0, 1], the same range but with both endpoints included.

Bounded? Yes — again, 1 is an upper bound (and so is anything larger).

Has a maximum? Yes. The element 1 \in [0, 1] is \ge every other element of [0, 1]. So \max [0, 1] = 1.

Same ceiling, different membership status. [0, 1] contains its supremum; (0, 1) does not. That is what the round and square brackets are for.

The unbounded example — the natural numbers

What does "not bounded" actually look like? Look at \mathbb{N} = \{1, 2, 3, \ldots\}. Is there any real number M with n \le M for every natural number n?

No. This is the Archimedean property of the real numbers: for any real M, there is a natural number n with n > M. So \mathbb{N} has no upper bound in \mathbb{R} at all. It is unbounded above.

Being unbounded is stronger than not having a maximum — it means there is no ceiling, not even a loose one, not even in \mathbb{R}.

The logical flowchart

Run any set S through these questions:

  1. Is there some M \in \mathbb{R} with x \le M for all x \in S? If no, S is unbounded above. Stop.
  2. If yes, S is bounded above, so by completeness \sup S exists.
  3. Is \sup S \in S? If yes, \sup S = \max S. If no, \sup S exists but \max S does not.

That third question is the only place "bounded" and "has a maximum" separate. They agree on everything else.

Why this matters in JEE and beyond

JEE problems in calculus routinely ask for "the maximum value of f on a given set." If the set is closed and bounded and f is continuous, the extreme value theorem guarantees that the maximum exists and is attained — there is no distinction to worry about. But on open intervals or unbounded domains, the question "what is the maximum?" can have answer "it does not exist, the supremum is L" — and marking this correctly is often worth a mark in the rubric.

In analysis and real-number theory, the distinction is the organising principle. The supremum is a tool precisely because it works for all bounded sets, while the maximum works only for a subset of them. Every theorem that says "let M be the supremum of…" would fail if you required M to be in the set.

In one phrase: bounded is a statement about \mathbb{R}; maximum is a statement about S. Keep that asymmetry in your head and the confusion dissolves.

Related: Real Numbers — Properties · Supremum on a Leash · Intervals and Inequalities Preview · Rational Line Has Holes