Misalkan \(A\) suatu subruang tak kosong dari ruang topologi \(X\text{.}\) Buktikan bahwa \(C\subseteq A\) tertutup relatif dalam \(A\) jika dan hanya jika terdapat himpunan tertutup \(F\subseteq X\) sedemikian sehingga \(C=A\cap F\text{.}\)