Category:Real Number Ordering is Compatible with Addition