Continuous image of a compact set
If K is compact in X and f:X→Y is continuous, then f(K) is compact in Y.
atlas-continuous-image-of-compact · canonical_mko
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
If K is compact in X and f:X→Y is continuous, then f(K) is compact in Y.
atlas-continuous-image-of-compact · canonical_mko