:: deftheorem defines real-functions-valued VALUED_2:def 28 :
for f being Function holds
( f is real-functions-valued iff for x being object st x in dom f holds
f . x is real-valued Function );