Ordering on Extended Real Numbers is Total Ordering

Theorem
Let $\le$ denote the ordering on the extended real numbers $\overline \R$.

Then $\le$ is a total ordering, and so $\overline \R$ is a toset.