Real Number Ordering is Compatible with Multiplication/Examples