:: deftheorem Def16 defines I_PFuncs VALUED_2:def 16 :
for D, b₂ being set holds
( b₂ = I_PFuncs D iff for f being object holds
( f in b₂ iff f is PartFunc of D,INT ) );