Definition:Precompact Space


 * Totally Bounded Metric Space
 * Relatively Compact Subspace