:: deftheorem Def3 defines ext-real-functions-membered VALUED_2:def 3 :
for X being set holds
( X is ext-real-functions-membered iff for x being object st x in X holds
x is ext-real-valued Function );