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