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.