:: deftheorem Def10 defines E_PFuncs VALUED_2:def 10 :
for D, b₂ being set holds
( b₂ = E_PFuncs D iff for f being object holds
( f in b₂ iff f is PartFunc of D,ExtREAL ) );