Subspace topology

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