# Ordering on Extended Real Numbers is Total Ordering

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.