Inklusi \(A\subseteq C\) membuat setiap titik limit \(A\) juga titik limit \(C\text{.}\) Jadi \(x\in C'\text{,}\) dan ketertutupan \(C\) memberi \(x\in C\text{.}\)