Let be a metric space. An -net is set s.t. We say is totally bounded if for every there is a finite -net.