\(
\newcommand{\cat}[1] {\mathrm{#1}}
\newcommand{\catobj}[1] {\operatorname{Obj}(\mathrm{#1})}
\newcommand{\cathom}[1] {\operatorname{Hom}_{\cat{#1}}}
\)
Math and science::Analysis::Tao::05. The real numbers
Uniqueness of least upper bound, proposition
Let \( E \) be a subset of \( \mathbb{R} \). Then \( E \) can have
[...].
