:: deftheorem Def12 defines R_PFuncs VALUED_2:def 12 :
for D, b₂ being set holds
( b₂ = R_PFuncs D iff for f being object holds
( f in b₂ iff f is PartFunc of D,REAL ) );