:: deftheorem Def20 defines complex-functions-valued VALUED_2:def 20 :
for R being Relation holds
( R is complex-functions-valued iff rng R is complex-functions-membered );