Compact subset
A subset K of X is compact in its subspace topology exactly when every relative-open cover has a finite subcover.
atlas-compact-subset · canonical_mko
Compact subset
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data