Category:Usual Ordering on Extended Real Numbers