Negative Infinity is Minimal

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\left({\overline \R, \le}\right)$ be the extended real numbers with the usual ordering.

Then $-\infty$ is a minimal element of $\overline \R$.


Proof

This theorem is dual to Positive Infinity is Maximal.

$\blacksquare$