Definition (Totally Bounded)

A Metric Space $(X, d)$ is called totally bounded iff $$\forall\epsilon>0, \exists Y \subset X,|Y|<\infty : \forall x \in X,\exists y\in Y : d(x,y)<\epsilon$$