위상공간 ( X , T ) {\displaystyle (X,{\mathcal {T}})} 의 부분집합을 A {\displaystyle A} 라 하자. 이때 T ′ {\displaystyle {\mathcal {T}}'} 을
와 같이 정의하면, T ′ {\displaystyle {\mathcal {T}}'} 은 A {\displaystyle A} 의 위상이다. 이때 T ′ {\displaystyle {\mathcal {T}}'} 를 A {\displaystyle A} 의 부분공간위상(subspace topology) 또는 상대위상(relative topology)이라 하고, T ′ {\displaystyle {\mathcal {T}}'} 의 원소를 A {\displaystyle A} 의 상대적 열린집합(relatively open set) 또는 간단히 열린집합이라 하며, ( A , T ′ ) {\displaystyle (A,{\mathcal {T}}')} 는 ( X , T ) {\displaystyle (X,{\mathcal {T}})} 의 부분공간(subspace)이라 한다.