Definition:Extended Real Ordering