# Metrically bounded set

This page is provisional and the information it contains may change before this notice is removed (in a backwards incompatible way). This usually means the content is from one source and that source isn't the most formal, or there are many other forms floating around. It is on a to-do list for being expanded.The message provided is:
"Bounded set" is misused, there are other notions of bounded perhaps of sets. As such metrically bounded (set) ought to be used. This is the start of that process Alec (talk) 23:10, 18 March 2017 (UTC)

## Definition

Let [ilmath](X,d)[/ilmath] be a metric space and let [ilmath]A\in\mathcal{P}(X)[/ilmath] be an arbitrary subset of [ilmath]X[/ilmath]. We say [ilmath]A[/ilmath] is (metrically)[Note 1] bounded or is a (metrically) bounded set if:

• [ilmath]\exists C\in[/ilmath][ilmath]\mathbb{R}_{>0} [/ilmath][ilmath]\forall a,b\in A[d(a,b)<C][/ilmath]
• In words: there exists a real [ilmath]C>0[/ilmath] such that for any two points in [ilmath]A[/ilmath] the distance between them (as measured by the metric, [ilmath]d[/ilmath]) is strictly less than [ilmath]C[/ilmath]

Note that if [ilmath]A\eq\emptyset[/ilmath] then it is vacuously seen to be bounded by any [ilmath]C>0[/ilmath][Note 2]