# Negative Infinity is Minimal

Let $\left({\overline \R, \le}\right)$ be the extended real numbers with the usual ordering.
Then $-\infty$ is a minimal element of $\overline \R$.
$\blacksquare$