Hipotesis memberi \(c\in C\) untuk setiap \(c\in C'\text{.}\) Jadi \(C'\subseteq C\text{,}\) dan karakterisasi melalui titik limit menyatakan bahwa \(C\) tertutup.