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