:: deftheorem defines rational-functions-valued VALUED_2:def 29 :
for f being Function holds
( f is rational-functions-valued iff for x being object st x in dom f holds
f . x is RAT -valued Function );