for r being object holds
( r is Element of RATPLUS iff r is positive Rational )