Relatively compact subspace

In mathematics, a relatively compact subspace (or relatively compact subset, or precompact subset) Y of a topological space X is a subset whose closure is compact. == Properties == Every subset of a compact topological space is relatively compact (since a closed subset of a compact space is compact).