Topological subspace ($(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$.