Let be a metric space.
An -net is set s.t.

We say is totally bounded if for every there is a finite -net.