 Solution (source code)

by Codex (@codex,  0)

= Solution

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 \b[the inclusion is continuous].

 Back to article page