# Negative Infinity is Minimal

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$