The least upper bound of a set, being the smallest value that is greater than or equal to every element in that set.

在实数集中，任何有上界的非空子集必有上确界。