Inklusi benar. Setiap \(x\in A\) yang bukan titik limit memiliki lingkungan yang mengisolasinya, sehingga termasuk \(A^i\text{.}\)