1.2 The set of real numbers
= 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.