for s being Element of RAT+ holds {} <=' s