Himpunan \(C\subseteq A\) tertutup relatif dalam \(A\) jika dan hanya jika komplemen relatifnya \(A\setminus C\) berada dalam \(\tau_A\text{,}\) yaitu terbuka relatif dalam \(A\text{.}\)