Let \(X\) and \(Y\) be topological spaces and \(f\colon X\to Y\) continuous . The restriction onto a subspace \(S\subseteq X\) of \(f\) is continuous.
Proof
The restriction is a composition of \(f\) and the inclusion map
\(\iota_S\colon S\hookrightarrow X\) is continuous.