Let \(S\subseteq X\) be a subspace of a topological space \(X\). The map \(\iota_S\colon S\hookrightarrow X\) with \(\iota_S(x)=x\) is called inclusion map.

See also Link to heading

• characteristic property of the subspace topology