for A being non empty Subset of R^1 ex X being non empty Subset of REAL st
( A = X & upper_bound A = upper_bound X )