Relatively compact set
Redirect to:
Relatively compact subspace