Let $\{(M_k, d_k)\}_{k=1}^\infty$ be a sequence of totally bounded metric spaces. Then the countable product $M = \prod_{k=1}^\infty M_k$, equipped with the metric
In particular, any finite product $M_1 \times \cdots \times M_N$ of totally bounded metric spaces is totally bounded under any of the standard product metrics.