for x being ExtReal
for A being ext-real-membered set st x in A holds
x <= sup A