Compact subspace

Redirect to:

• Compact space#Compactness of subsets