for Y, S being non empty set
for F being Function of Y,S
for M being Function of S,ExtREAL st M is V94() holds
M * F is V94()