Section 1.10

(Should you so desire, this work is also available in PDF form here.)

"Definition: An ordered set  is said to have the least-upper-bound property if the following is true: If ,  is not empty, then sup  exists in ."

Example: subsets of  have the least-upper-bound property.