for f being Function holds
( f is RAT -valued iff for x being object holds f . x is rational )