theorem Th10: :: XXREAL_2:10

for A, B being ext-real-membered set holds sup (A \/ B) = max ((sup A),(sup B))