> [!definition] > > Let $(X, \topo)$ be a [[Topological Space|topological space]]. A set $E \subset X$ is **precompact** if its [[Topological Closure|closure]] is [[Compactness|compact]].