Category:Real Number Ordering is Compatible with Multiplication