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