Untuk subhimpunan tak kosong \(C\) dari ruang metrik \(X\text{,}\) buktikan bahwa \(C\) tertutup tepat ketika \(d(x,C)=0\) selalu memaksa \(x\in C\text{.}\)