:: deftheorem Def6 defines integer-functions-membered VALUED_2:def 6 :
for X being set holds
( X is integer-functions-membered iff for x being object st x in X holds
x is INT -valued Function );