Total boundedness, compactness, and initial uniform spaces – math.stackexchange.com

A uniform space $X$ is called totally bounded if given any entourage $V$ of $X$ there exist finitely many points $x_j\in X$ such that $X=\bigcup_jV[x_j]$; it is known that a uniform space is compact ...