Let 
be a nonempty set of real numbers that has an upper bound. Then a number 
is called the least upper bound (or the supremum,
denoted 
)
for 
iff it satisfies the following properties:
1. 
for all 
.
2. For all real numbers 
, if 
is an upper bound for 
, then 
.
