Past exam of the probability, statistics and options I course of the University of Oxford / 2007 / E / 2 / iv

Choose $Z=(A,{\mathcal{T}}_A)$ and let $f$ be the identity set map $A\to A$. The composition $i\circ f$ is the inclusion and is continuous by part (i). The hypothesized universal implication therefore says that the identity mapis continuous. Its preimage of a set $V\in {\mathcal{T}}^{\prime }$ is $V$ itself, so every such $V$ lies in ${\mathcal{T}}_A$. ThereforeCombining this with part (ii), when both properties hold, characterizes the subspace topology uniquely.