Solution (source code)

= Solution

The <subspace topology> is
$$
\boxed{\mathcal T_A=\{A\cap U:U\in\mathcal T\}}.
$$
These sets contain the empty set and $A$, are closed under arbitrary unions, and are closed under finite intersections because intersections distribute over the common factor $A$. Thus they form a topology on $A$.