Past exam of the options I course of the University of Oxford / 2007 / E / E2 / iv

Choose $Z=(A,{\mathcal{T}}_A)$ and let $f$ be the identity function on $A$. The composite $i\circ f$ is continuous by part (i). The stipulated universal implication therefore makes $f:(A,{\mathcal{T}}_A)\to (A,{\mathcal{T}}^{\prime })$ continuous. Its inverse image of any ${\mathcal{T}}^{\prime }$-open set is that set itself, so it must lie in ${\mathcal{T}}_A$. Thus $\boxed{{\mathcal{T}}^{\prime }\subseteq {\mathcal{T}}_A}$.