Exercise · ZW-WELL-ORDERING-007 · ★★☆ Intermediate

Let \(B=\{n\in\mathbb{N} : n^2>20\}\) with the usual order. What is its least element?

Choose one option.

Show answer
  • A. \(5\)

Explanation

Since \(4^2=16\) does not exceed 20 but \(5^2=25\) does, the least element is \(5\); well-ordering of \(\mathbb{N}\) guarantees that it exists.

Study Set theory in ZWMath →

Review the concept: Well-ordering

A set \(A\) is well-ordered by \(<\) if \(<\) is a total order on \(A\) and every nonempty subset of \(A\) has a least element.

\[\forall S\subseteq A(S\ne\varnothing\Rightarrow\exists m\in S\forall s\in S\,m\le s)\]

More practice problems: well-ordering

← ZW-WELL-ORDERING-006 ZW-WELL-ORDERING-008 →