:: deftheorem Def4 defines multrealpfunc LPSPACE1:def 4 :
for A being non empty set
for b₂ being Function of [:REAL,(PFuncs (A,REAL)):],(PFuncs (A,REAL)) holds
( b₂ = multrealpfunc A iff for a being Real
for f being Element of PFuncs (A,REAL) holds b₂ . (a,f) = a (#) f );