Compact subset
Redirect to:
Compact space#Compactness of subsets