Ordering on Extended Real Numbers is Total Ordering

Theorem
Denote with $\le$ the ordering on the extended real numbers $\overline \R$.

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