theorem Th51: :: XXREAL_2:51

for X being ext-real-membered set st -infty is UpperBound of X holds
X c= {-infty}