# Definition:Extended Real Number Line/Definition 2

## Definition

The **extended real number line** $\overline \R$ is the order completion of the set of real numbers $\R$.

The greatest element of $\overline \R$ is often denoted by $+\infty$ and its least element by $-\infty$.

## Also see

- Results about
**extended real numbers**can be found here.