Misalkan \((A,\tau_A)\) suatu subruang dari ruang topologi \(X\text{.}\) Dengan menggunakan definisi himpunan tertutup melalui komplemen, definisikan kapan suatu subhimpunan \(C\subseteq A\) disebut tertutup relatif dalam \(A\text{.}\)