:: deftheorem Def5 defines rational-functions-membered VALUED_2:def 5 :
for X being set holds
( X is rational-functions-membered iff for x being object st x in X holds
x is RAT -valued Function );