Relating to a metric space which, for any ε‎ > 0, can be presented as the union of finite many balls of radius ε‎. A subspace of a totally bounded metric space is totally bounded. A metric space is compact if and only if it is complete and totally bounded.