Relatively compact subset

Redirect to:

• Relatively compact subspace