Misalkan \((X,\tau)\) suatu ruang topologi dengan basis \(\B\text{,}\) dan misalkan \(A\) suatu subruang dari \(X\text{.}\) Definisikan secara alami suatu koleksi \(\B_A\) yang menjadi calon basis untuk topologi subruang pada \(A\text{.}\)