for x being Element of RAT+ holds
( x <> {} iff numerator x <> {} )