Topological subspace (source code)

= Topological subspace
{title2=$(A,\{A\cap U:U\text{ open in }X\})$}

A topological subspace of a <topological space> $X$ is a <subset> $A\subseteq X$ equipped with the <subspace topology> inherited from $X$.