Identitas benar: anggota \(A\) yang bukan titik limit tepat merupakan titik terasing, sedangkan \(A^i\subseteq A\text{.}\)