Ordering on Extended Real Numbers is Ordering

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

Then $\le$ is an ordering, and so $\overline{\R}$ is a poset.