Subspace topology

Let \((X, \tau)\) be a topological space and \(A\subseteq X\) a subset. The subspace topology on \(A\) is \[ \tau_A\coloneqq\ts{A\cap U \st U\in\tau}. \]