PrecompactLast updated Nov 1, 2022# DefinitionLet $X$ be a Topological Space. Then $S \subset X$ is Precompact if $\text{cl}S$ is Compact.