# Category:Extended Real Numbers

This category contains results about Extended Real Numbers.
Definitions specific to this category can be found in Definitions/Extended Real Numbers.

The extended real number line $\overline \R$ is defined as:

$\overline \R := \R \cup \set {+\infty, -\infty}$

that is, the set of real numbers together with two auxiliary symbols:

$+\infty$, positive infinity
$-\infty$, negative infinity

such that:

$\forall x \in \R: x < +\infty$
$\forall x \in \R: -\infty < x$

## Subcategories

This category has the following 2 subcategories, out of 2 total.

## Pages in category "Extended Real Numbers"

The following 15 pages are in this category, out of 15 total.