1.2 The set of real numbers (source code)

= 1.2 The set of real numbers
{c}

Online text: https://www.jirka.org/ra/html/sec_setofreals.html

Cited passages: Lebl, Basic Analysis I, §1.2: approximation of a supremum; Lebl, Basic Analysis I, §1.2: supremum, infimum and attainment.

Additional inspected locators: §1.2.3, Proposition 1.2.6(i) and proof; Proposition 1.2.8; §1.2.5, Exercise 1.2.9. The HTML section is undated; no PDF version date is assigned to it.