metric: some stuff on finite products of metric spaces
metric: introduce epsilon nets, redefine totally bounded metric spaces in terms of them. prove a new theorem about total boundedness and Cauchy subsequences.
metric: Prove that compact subsets are independent of the ambient metric space