theorem Th10: :: MESFUNC5:10

for X being non empty set
for f being PartFunc of X,ExtREAL holds
( ( for x being set st x in dom f holds
-infty < f . x ) iff f is () )