precompact set

precompact set

[prē′käm‚pakt ‚set] (mathematics) A set in a metric space which can always be covered by open balls of any diameter about some finite number of its points. Also known as totally bounded set.