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
.