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 
.
