 Topological subspace

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