theorem :: MESFUNC2:32

for X being non empty set
for f being PartFunc of X,ExtREAL st f is V82() holds
rng f is Subset of REAL ;