theorem Th8: :: XXREAL_2:8

for A, B being ext-real-membered set
for x being UpperBound of A
for y being UpperBound of B holds max (x,y) is UpperBound of A \/ B