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.