Totally Bounded
Let (X,d) be a Compact Metric Space and F⊂C(X). Then F is Totally Bounded for dsup if and only if it is uniformly bounded and Equicontinuous, thus uniformly equicontinuous, i.e. ∀ϵ>0 ∣F∣<∞:∀f∈C(X),∃g∈F:x∈Xsup∣f(x)−g(x)∣<ϵ⟺∃δ>0:d(x,y)<δ⟹∣f(x)−f(y)∣<ϵ,∀f∈F