for A being ext-real-membered set st A is interval holds
for x, r being ExtReal st x in A & x <= r & r < sup A holds
r in A