ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F12121 on D1275: Set of basic numbers
F12121
Formulation 1
Let $\mathbb{R}$ be the D282: Set of real numbers.
The set of basic numbers is the D11: Set \begin{equation} [-\infty, \infty] : = \mathbb{R} \cup \{ - \infty, + \infty \} \end{equation}