:: deftheorem Def22 defines real-functions-valued VALUED_2:def 22 :
for R being Relation holds
( R is real-functions-valued iff rng R is real-functions-membered );