Precompact subset

Let \(X\) be a topological space. A subset \(A\subseteq X\) is precompact if its closure \(\cl_{X}(A)\) is compact.