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

For $U\in \mathcal{T}$, the inverse image under inclusion is $i^{-1}(U)=A\cap U$, which is open in the subspace topology by definition. The inverse-image criterion for continuity therefore proves the inclusion is continuous.