Positives(INT.Ring) is Ordering of INT.Ring ;