Relatively compact subspace

In mathematics, a relatively compact subspace (or relatively compact subset, or precompact subset) Y of a topological spaceX is a subset whose closure is compact.