An inclusion map \(\iota_S\colon S\hookrightarrow X\) is a topological embedding .