Total boundedness (source code)

= Total boundedness
{wiki=Totally_bounded_space}

A <metric space> is totally bounded when, for every $\varepsilon>0$, it is covered by finitely many open balls of radius $\varepsilon$.

= Totally bounded
{synonym}