theorem Th11: :: MESFUNC5:11

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