:: deftheorem Def24 defines integer-functions-valued VALUED_2:def 24 :
for R being Relation holds
( R is integer-functions-valued iff rng R is integer-functions-membered );