Basic Analysis: Introduction to Real Analysis, Volume I by Jiří Lebl / 1.2 The set of real numbers

Online text: 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.