Let $(X,\mathcal{T})$ be a \reftext{def:topological-space-2026a}{topological space}, and let $A\subseteq X$. The subspace topology on $A$ is the collection

The sets in $\mathcal{T}_A$ are called the open sets of $A$ in the subspace topology.