Gunakan pencirian himpunan tertutup relatif: \(B\) tertutup dalam \(C\) tepat ketika \(B=C\cap F\) untuk suatu \(F\) yang tertutup dalam \(X\text{.}\)