より一般に、集合Sから位相空間Xへの単射iが存在するとき、S上の誘導位相はiを連続にする最も粗い位相として定義される。
更一般地，设i为一由集合S至拓扑空间X的单射，则于S上的子空间拓扑即为定义为i为连续的最弱拓扑。