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