Asubset B of a metric space is bounded if it lies in some ball of finite radius: there are x0 in the space and R<∞ with d(x,x0)≤R for every x∈B. For a nonempty subset, this is equivalent to finite diameter, supx,y∈Bd(x,y)<∞. The empty subset is bounded by convention.