Definition:Extended Real Number Line/Definition 2

From ProofWiki
Jump to navigation Jump to search

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.