Pencirian benar. Jika \(C\) tertutup, batasnya berada dalam \(\overline C=C\text{;}\) jika batasnya berada dalam \(C\text{,}\) maka seluruh tutupan \(C\) juga berada dalam \(C\text{.}\)