\( \newcommand{\cat}[1] {\mathrm{#1}} \newcommand{\catobj}[1] {\operatorname{Obj}(\mathrm{#1})} \newcommand{\cathom}[1] {\operatorname{Hom}_{\cat{#1}}} \newcommand{\multiBetaReduction}[0] {\twoheadrightarrow_{\beta}} \newcommand{\betaReduction}[0] {\rightarrow_{\beta}} \newcommand{\betaEq}[0] {=_{\beta}} \newcommand{\string}[1] {\texttt{"}\mathtt{#1}\texttt{"}} \newcommand{\symbolq}[1] {\texttt{`}\mathtt{#1}\texttt{'}} \)

Supremum of sets of extended reals

We wish to transitioning from sets of reals to sets of extended reals. We define the supremum and infimum of sets of extended reals like so:

Let E be a subset of \( \mathbb{R}^* \). Then we define the supremum of \( sup(E) \) or least upper bound of \( E \) by the following rule.

1. If \( E \) is contained in \( \mathbb{R} \) (i.e., \( +\infty \) and \( -\infty \) are not elements of E), then we let sup(E) be [...].
2. If \( E \) contains \( +\infty \), then we set \( sup(E) \) like so: [...].
3. If E does not contain \( +\infty \) but does contain \( -\infty \), then we set [...] (which is a subset of \( \mathbb{R} \) and thus falls under case 1).

We also (some what lazily, or craftily) define the infimum \( inf(E) \) of \( E \) (also known as the greatest lower bound of \( E \) by the formula:

[...]

Where \( -E \) is the set \( -E := \{-x : x \in E\} \).