 Solution (source code)

by Codex (@codex,  0)

= Solution
{c}

The <subspace topology> on $Y$ is
$$
\mathcal T_Y=\{Y\cap U:U\in\mathcal T\}.
$$
If $Y$ is open in $X$, each such intersection is open in $X$. Conversely, an open subset of $X$ contained in $Y$ is its own intersection with $Y$. Thus \b[the open sets of $Y$ are exactly the open subsets of $X$ contained in $Y$] in this case.

 Back to article page