:: deftheorem Def23 defines rational-functions-valued VALUED_2:def 23 :
for R being Relation holds
( R is rational-functions-valued iff rng R is rational-functions-membered );