theorem Th37: :: XXREAL_2:37
for x being ExtReal holds x is UpperBound of {}