Subspace topology (source code)

= Subspace topology
{wiki}

For $A\subseteq X$, the subspace topology consists of the intersections $A\cap U$ with open subsets $U\subseteq X$.