. "least upper bound property" . . . . "least-upper-bound property" . . . . . . "Least upper bound" . "Least-upper-bound property" . "Least-upper-bound property" .