、闭子空间或稠密子空间。另外，也可以定义内的子集的子空间拓扑为会使得内含映射为连续的最弱拓扑。更一般地，设爲一由集合至拓扑空间的单射，则于 "S" 上的子空间拓扑即为定义爲爲连续的最弱拓扑。此拓扑的开集恰好会是的其中一个，其中的爲内的开集。因此同胚于在内的值域（也是带子空间拓扑），且会被称之为拓扑嵌入。