Continuous Image of Compact Space is Compact

Theorem
Let $T_1$ and $T_2$ be topological spaces.

Let $f: T_1 \to T_2$ be a continuous mapping.

If $T_1$ is compact then so is its image $f \sqbrk {T_1}$ under $f$.

That is, compactness is a continuous invariant.