This theorem proves that uniformly continuous maps send [totally bounded](/page/Totally%20Bounded) sets to totally bounded sets. It isolates [uniform continuity](/page/Uniform%20Continuity) as the condition that transfers finite approximations across metric spaces.