Let $(X,\tau_X)$ and $(Y,\tau_Y)$ be topological spaces. Let $f:X\to Y$ be continuous, and let $K\subset X$ be compact in the [subspace topology](/page/Subspace%20Topology) inherited from $X$. Then $f(K)\subset Y$ is compact in the subspace topology inherited from $Y$.